Def CategoryTheory.Idempotents.DoldKan.N

Modification history

2023-10-30 15:05

Mathlib/AlgebraicTopology/DoldKan/EquivalencePseudoabelian.lean

chore: remove some double spaces (#7983)

Modified CategoryTheory.Idempotents.DoldKan.N View on Github →

2023-08-06 01:46

Mathlib/AlgebraicTopology/DoldKan/EquivalencePseudoabelian.lean

feat: forward port of AlgebraicTopology.DoldKan.EquivalencePseudoabelian (#6293)

Added CategoryTheory.Idempotents.DoldKan.N View on Github →