Theorem Ideal.sum_mem

Modification history

2023-08-10 19:52

Mathlib/RingTheory/Ideal/Basic.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Ideal.sum_mem View on Github →

2023-02-21 09:05

Mathlib/RingTheory/Ideal/Basic.lean

feat: port RingTheory.Ideal.Basic (#2283) …

Added Ideal.sum_mem View on Github →