Theorem Quotient.liftOn_mk

Modification history