Theorem Function.periodicOrbit_eq_nil_iff_not_periodic_pt

Modification history