Theorem MulAction.period_pos_of_fixed

Modification history