Def CategoryTheory.Functor.copyObj

Modification history

2023-12-27 13:14

Mathlib/CategoryTheory/NatIso.lean

feat(CategoryTheory): another constructor for ComposableArrows (#8541) …

Added CategoryTheory.Functor.copyObj View on Github →