Theorem Semiquot.liftOn_ofMem

Modification history