Theorem MulAction.isPeriodicPt_smul_iff

Modification history