Theorem MulAction.period_one

Modification history