Def AlgebraicTopology.DoldKan.Compatibility.υ

Modification history

2023-07-29 23:40

Mathlib/AlgebraicTopology/DoldKan/Compatibility.lean

feat: forward port AlgebraicTopology.DoldKan.Compatibility (#6186) …

Added AlgebraicTopology.DoldKan.Compatibility.υ View on Github →