Theorem Quot.liftOn₂_mk

Modification history