Def CategoryTheory.Limits.punitCocone

Modification history

2023-06-13 06:07

Mathlib/CategoryTheory/Limits/Unit.lean

chore: tidy various files (#4997)

Added CategoryTheory.Limits.punitCocone View on Github →