Def CategoryTheory.CosimplicialObject.Augmented.leftOp

Modification history

2023-04-11 12:30

Mathlib/AlgebraicTopology/SimplicialObject.lean

feat: port AlgebraicTopology.SimplicialObject (#3302)

Added CategoryTheory.CosimplicialObject.Augmented.leftOp View on Github →