Theorem Group.one_lt_exponent

Modification history