Theorem MulAction.period_le_exponent

Modification history