Lemma
Of proposition.
A subsidiary proposition that is assumed to be true in order to prove another proposition.
This concept's ID is @1~35963
Of proposition.
A subsidiary proposition that is assumed to be true in order to prove another proposition.
This concept's ID is @1~35963