Theorem Function.periodicOrbit_eq_cycle_map

Modification history