Theorem Quot.liftOn_mk

Modification history