Theorem Function.isPeriodicPt_prod_map

Modification history