Theorem Subgroup.normal_goursatSnd

Modification history