Theorem MulAction.period_bounded_of_exponent_pos

Modification history