Theorem Subgroup.eq_bot_iff_forall

Modification history