Theorem periodic_circleMap
Modification history
2025-04-08 20:01
Mathlib/Analysis/SpecialFunctions/Complex/CircleMap.lean
chore: tidy various files (#23821)
Modified periodic_circleMapView on Github →2025-04-02 17:04
Mathlib/Analysis/SpecialFunctions/Complex/CircleMap.lean
feat(Analysis/SpecialFunctions/Complex/CircleMap): some basic facts about `circleMap` (#23167) …
Modified periodic_circleMapView on Github →