Theorem isCyclic_of_subgroup_isDomain

Modification history