Theorem ofDual_sInf

Modification history

2026-02-10 16:30
Mathlib/Order/CompleteLattice/Defs.lean
feat(Order/CompleteLattice/Defs): `to_dual` for `CompleteSemilattice`s (#33765) …
Deleted ofDual_sInfView on Github →
2025-03-19 10:04
Mathlib/Order/CompleteLattice/Basic.lean
chore(Order): split long file `CompleteLattice.lean` (#23064) …
Modified ofDual_sInfView on Github →
2024-09-02 15:27
Mathlib/Order/CompleteLattice.lean
feat(ConditionallyCompleteLattice/Finset): ciSup_mem on list/multiset/finset (#15284) …
Modified ofDual_sInfView on Github →
2023-05-14 07:05
Mathlib/Order/CompleteLattice.lean
chore: Rename to `sSup`/`iSup` (#3938) …
Added ofDual_sInfView on Github →