Theorem Set.univ_ne_of_subset

Modification history

2026-11-10 16:49
Mathlib/Data/Set/Basic.lean
feat: `@[gcongr]` for `eq_top_mono` and friends (#44334) …
Added Set.univ_ne_of_subsetView on Github →