Theorem MulAction.period_pos_of_exponent_pos

Modification history