Theorem MulAction.period_eq_minimalPeriod

Modification history