Theorem t2Quotient.unique_lift

Modification history