Theorem SSet.Homotopy.congr_homologyMap

Modification history

2026-04-13 14:38
Mathlib/AlgebraicTopology/SimplicialSet/Homology/HomotopyInvariance.lean
feat(AlgebraicTopology): simplicial homology (#37656) …
Added SSet.Homotopy.congr_homologyMapView on Github →