Theorem MulAction.le_period

Modification history