Theorem UpperSet.Ici_injective

Modification history

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