Theorem Quotient.finLiftOn_mk

Modification history