Def completeLatticeOfCompleteSemilatticeInf
Modification history
2025-03-19 10:04
Mathlib/Order/CompleteLattice/Basic.lean
chore(Order): split long file `CompleteLattice.lean` (#23064) …
Modified completeLatticeOfCompleteSemilatticeInfView on Github →