Theorem Set.pi_univ_Iic

Modification history

2026-04-21 17:27

Mathlib/Order/Interval/Set/Pi.lean

chore(Topology/Order/Basic): use `to_dual` (#37780)

Deleted Set.pi_univ_Iic View on Github →

2022-12-26 18:42

Mathlib/Data/Set/Intervals/Pi.lean

feat: port data.set.intervals.pi (#1223) …

Added Set.pi_univ_Iic View on Github →