Def Mathlib.Tactic.Coherence.monoidalCoherence

Modification history

2026-06-16 21:10

Mathlib/Tactic/CategoryTheory/Coherence.lean

chore: avoid `meta`-importing math files (#40671) …

Deleted Mathlib.Tactic.Coherence.monoidalCoherence View on Github →

2026-05-30 15:16

Mathlib/Tactic/CategoryTheory/Coherence.lean

chore: respect naming conventions for defs in more meta code (#39949) …

Added Mathlib.Tactic.Coherence.monoidalCoherence View on Github →