Def CategoryTheory.Functor.isoCopyObj

Modification history

2023-12-27 13:14

Mathlib/CategoryTheory/NatIso.lean

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

Added CategoryTheory.Functor.isoCopyObj View on Github →