Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-16 09:28
c532ce2d
View on Github →
fix(whitespace): better
≡ᵀ
pretty-print and remove a space (
#24946
) Found by
#24465
.
Estimated changes
Modified
Mathlib/Analysis/Complex/ValueDistribution/ProximityFunction.lean
modified
theorem
ValueDistribution.proximity_inv
Modified
Mathlib/Computability/TuringDegree.lean