Commit 2026-02-18 17:39 1aacdef3

View on Github →

chore: clean up sSup and sInf usage (#35297)

Estimated changes

Modified Mathlib/Algebra/Group/Submonoid/Basic.lean

Modified Mathlib/CategoryTheory/Category/Pairwise.lean

Modified Mathlib/CategoryTheory/Limits/Lattice.lean

Modified Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

Modified Mathlib/Order/Atoms.lean

Modified Mathlib/Topology/Order/HullKernel.lean