Theorem CategoryTheory.Comma.map_obj_hom'

Modification history

2026-06-16 12:08
Mathlib/CategoryTheory/Comma/Basic.lean
feat(CategoryTheory/Comma/Basic): use `to_dual` more (#40355) …
Added CategoryTheory.Comma.map_obj_hom'View on Github →