Commit 2025-03-20 23:42 e04fe9d4

View on Github →

chore: more continuity -> fun_prop replacements (#23151)

Estimated changes

Modified Archive/Wiedijk100Theorems/AreaOfACircle.lean

Modified Mathlib/AlgebraicTopology/TopologicalSimplex.lean

Modified Mathlib/Computability/AkraBazzi/AkraBazzi.lean

Modified Mathlib/Data/Real/Pi/Irrational.lean