Theorem category_theory.limits.cocone_morphism.ext
Modification history
2020-01-29 18:36
src/category_theory/limits/cones.lean
chore(category_theory): use the new @[ext] attribute on structures (#1663) …
Deleted category_theory.limits.cocone_morphism.extView on Github →