How to sign: a subsidiary proposition that is assumed to be true in order to prove another proposition
Categories: proposition
Upload your sign now.