Theorem Abelianization.lift.unique

Modification history