Theorem CategoryTheory.Arrow.w_mk_left

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_left View on Github →