Theorem Function.IsPeriodicPt.prodMap

Modification history