Theorem Set.pi_univ_Ico_subset

Modification history

2024-07-27 08:25

Mathlib/Order/Interval/Set/Pi.lean

chore: robustifying for debug.byAsSorry (part 10) (#15164)

Modified Set.pi_univ_Ico_subset 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_Ico_subset View on Github →