Theorem Function.periodicOrbit_apply_iterate_eq

Modification history