Def Mathlib.Tactic.CategoryTheory.Map.mapExprHom

Modification history

2026-09-15 15:38
Mathlib/Tactic/CategoryTheory/Map.lean
feat(Tactic/CategoryTheory): map attribute (#37183) …
Added Mathlib.Tactic.CategoryTheory.Map.mapExprHomView on Github →