Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-03-02 21:29
dc43f26d
View on Github →
chore: fix defeq abuse in Boolean Algebra instance on Set alpha (
#35959
)
Estimated changes
Modified
Mathlib/Order/BooleanAlgebra/Set.lean
Modified
Mathlib/Topology/MetricSpace/PiNat.lean