Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-08-06 01:28
944508ab
View on Github →
chore: golf
IsSupClosedCompact.wellFoundedGT
(
#42422
)
Estimated changes
Modified
Mathlib/Order/CompactlyGenerated/Basic.lean
modified
theorem
CompleteLattice.IsSupClosedCompact.wellFoundedGT