Def Mathlib.Tactic.CategoryTheory.Map.mapCompSimp

Modification history

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