Theorem CategoryTheory.CostructuredArrow.Hom.w

Modification history

2026-04-13 19:44

Mathlib/CategoryTheory/Comma/StructuredArrow/Basic.lean

chore(CategoryTheory/Comma): API separation for StructuredArrow (#37809) …

Added CategoryTheory.CostructuredArrow.Hom.w View on Github →