Theorem T2Quotient.unique_lift

Modification history