Theorem MulAction.period_inv

Modification history