Def AlgebraicTopology.singularHomologyFunctor

Modification history

2025-08-18 09:17

Mathlib/AlgebraicTopology/SingularHomology/Basic.lean

refactor(CategoryTheory/Limits): generalize universes for colimits of representables (#27576) …

Modified AlgebraicTopology.singularHomologyFunctor View on Github →

2025-02-09 17:02

Mathlib/AlgebraicTopology/SingularHomology/Basic.lean

feat(AlgebraicTopology): singular homology (#21559) …

Added AlgebraicTopology.singularHomologyFunctor View on Github →