Theorem SeparationQuotient.lift'_mk

Modification history