Theorem Subgroup.exists_leftTransversal_of_FiniteIndex

Modification history