Theorem TwoSidedIdeal.one_mem_iff

Modification history

2024-09-19 20:23
Mathlib/RingTheory/TwoSidedIdeal/Lattice.lean
feat: definition of a simple ring (#14503)
Added TwoSidedIdeal.one_mem_iffView on Github →