Def Mathlib.Tactic.CheckCompositions.checkCompositionsTac

Modification history

2025-02-03 06:30
Mathlib/Tactic/CategoryTheory/CheckCompositions.lean
feat: `check_compositions`, a tactic for diagnosing defeq problems in category theory (#21357)
Added Mathlib.Tactic.CheckCompositions.checkCompositionsTacView on Github →