Theorem Function.nodup_periodicOrbit

Modification history