Def CategoryTheory.Over.coeFromHom

Modification history

2023-04-13 20:39

Mathlib/CategoryTheory/Over.lean

chore: bump to nightly-2023-04-11 (#3139)

Modified CategoryTheory.Over.coeFromHom View on Github →

2023-03-03 08:09

Mathlib/CategoryTheory/Over.lean

feat: port CategoryTheory.Over (#2496)

Added CategoryTheory.Over.coeFromHom View on Github →