Theorem isSubgroup_iUnion_of_directed

Modification history