Theorem FreeGroup.quot_liftOn_mk

Modification history