Theorem TwoSidedIdeal.mem_ker

Modification history

2024-11-14 06:25

Mathlib/RingTheory/TwoSidedIdeal/Kernel.lean

refactor(RingHom.injective): use simple ring (#18868)

Modified TwoSidedIdeal.mem_ker View on Github →

2024-10-01 14:00

Mathlib/RingTheory/TwoSidedIdeal/Operations.lean

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

Added TwoSidedIdeal.mem_ker View on Github →