Theorem Mathlib.Tactic.Monoidal.evalComp_cons

Modification history