Def UpperSet.Ioi

Modification history

2026-03-21 16:01
Mathlib/Order/UpperLower/Principal.lean
chore(Order/UpperLower/Principal): use `to_dual` (#36945) …
Added UpperSet.IoiView on Github →