Theorem Mathlib.Tactic.Coherence.monoidalComp_refl

Modification history