Theorem CategoryTheory.StructuredArrow.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.StructuredArrow.Hom.wView on Github →