Theorem TwoSidedIdeal.finsuppProd_mem

Modification history

2026-06-25 07:54
Mathlib/RingTheory/TwoSidedIdeal/BigOperators.lean
chore: remove unused instances (#41013) …
Modified TwoSidedIdeal.finsuppProd_memView on Github →
2026-05-23 12:03
Mathlib/RingTheory/TwoSidedIdeal/BigOperators.lean
feat: add congruence lemmas for (d)finsupp big operators (#39422) …
Added TwoSidedIdeal.finsuppProd_memView on Github →