Def AlgebraicTopology.NormalizedMooreComplex.objX

Modification history

2025-07-27 16:19
Mathlib/AlgebraicTopology/MooreComplex.lean
style: use simplex notation (`⦋n⦌`) where possible (#25322) …
Modified AlgebraicTopology.NormalizedMooreComplex.objXView on Github →
2023-04-17 21:44
Mathlib/AlgebraicTopology/MooreComplex.lean
feat: port AlgebraicTopology.MooreComplex (#3467)
Added AlgebraicTopology.NormalizedMooreComplex.objXView on Github →