mathlib
ef7fe6f9 - feat(dynamics/ergodic/conservative): define conservative systems, formalize Poincaré recurrence thm (#2311)

Commit
4 years ago
feat(dynamics/ergodic/conservative): define conservative systems, formalize Poincaré recurrence thm (#2311)
Author
Parents
Loading