Theorem MulAction.minimalPeriod_eq_card

Modification history