Theorem UpperSet.Ioi_eq_top

Modification history

2025-08-14 21:19
Mathlib/Order/UpperLower/Principal.lean
feat(Algebra/Order): ArchimedeanClass ball (#27885) …
Added UpperSet.Ioi_eq_topView on Github →