Theorem TwoSidedIdeal.listProd_mem

Modification history

2024-10-01 14:00

Mathlib/RingTheory/TwoSidedIdeal/BigOperators.lean

feat(RingTheory/TwoSidedIdeal): add some basic operations on two-sided-ideals (#14460)

Added TwoSidedIdeal.listProd_mem View on Github →