Theorem CategoryTheory.Arrow.w

Modification history

2025-03-13 16:39
Mathlib/CategoryTheory/Comma/Arrow.lean
chore: review of porting notes in `CategoryTheory/` (#22899) …
Modified CategoryTheory.Arrow.wView on Github →
2023-02-16 18:14
Mathlib/CategoryTheory/Arrow.lean
feat: port CategoryTheory.Arrow (#2315)
Added CategoryTheory.Arrow.wView on Github →