Theorem CategoryTheory.Under.Hom.w

Modification history

2026-04-13 19:44

Mathlib/CategoryTheory/Comma/Over/Basic.lean

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

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