Theorem Abelianization.lift_of

Modification history