Def CategoryTheory.Arrow.homMk

Modification history

2025-01-05 11:29

Mathlib/CategoryTheory/Comma/Arrow.lean

chore(CategoryTheory): make relevant parameters explicit in `Arrow.homMk`. (#20259) …

Modified CategoryTheory.Arrow.homMk View on Github →

2023-02-16 18:14

Mathlib/CategoryTheory/Arrow.lean

feat: port CategoryTheory.Arrow (#2315)

Added CategoryTheory.Arrow.homMk View on Github →