Theorem IsFreeGroup.lift'_eq_freeGroup_lift

Modification history