Theorem AlgebraicTopology.normalizedMooreComplex_objD

Modification history

2023-04-17 21:44
Mathlib/AlgebraicTopology/MooreComplex.lean
feat: port AlgebraicTopology.MooreComplex (#3467)
Added AlgebraicTopology.normalizedMooreComplex_objDView on Github →