Theorem Topology.RelCWComplex.eq_of_eq_union_iUnion

Modification history

2025-06-17 04:30
Mathlib/Topology/CWComplex/Classical/Basic.lean
feat(Topology/CWComplex/Classical/Basic.lean): basic lemmas about CW complexes (#25973)
Added Topology.RelCWComplex.eq_of_eq_union_iUnionView on Github →