Theorem CategoryTheory.Arrow.w_mk

Modification history

2026-04-10 14:17

Mathlib/CategoryTheory/Comma/Arrow.lean

chore(CategoryTheory/Comma): API separation for Arrow (#37764) …

Added CategoryTheory.Arrow.w_mk View on Github →