Theorem Quotient.finLiftOn_empty

Modification history