Def boundariesFunctor

Modification history

2024-07-09 18:31

Mathlib/Algebra/Homology/Homology.lean

refactor: removing the old homology API (#14569) …

Deleted boundariesFunctor View on Github →

2023-04-18 10:45

Mathlib/Algebra/Homology/Homology.lean

feat: port Algebra.Homology.Homology (#3491)

Added boundariesFunctor View on Github →