Theorem MulAction.period_le_of_fixed

Modification history