Theorem IsFreeGroup.of_eq_freeGroup_of

Modification history