Theorem Set.inl_compl_union_inr_compl

Modification history

2025-07-03 15:35

Mathlib/Data/Set/Basic.lean

chore: move `BooleanAlgebra` material on `Set` out of `Data` (#26665) …

Modified Set.inl_compl_union_inr_compl View on Github →

2025-01-21 04:10

Mathlib/Data/Set/Basic.lean

feat: the disjoint union of smooth manifolds (#20659) …

Added Set.inl_compl_union_inr_compl View on Github →