Commit 2022-08-01 08:42 7ad184e3
View on Github →fix(data/polynomial/basic): remove monomial_fun to remove diamonds (#15778)
This was previously irreducible to prevent any finsupp/add_monoid_algebra leakage, but it causes a non-defeq diamond in instances.