Theorem iSup_image2

Modification history

2024-10-14 10:01
Mathlib/Order/CompleteLattice.lean
feat(CompleteLattice): add `iSup_image2` (#17705)
Added iSup_image2View on Github →