Theorem Function.periodicOrbit_chain'

Modification history