Def TwoSidedIdeal.comap

Modification history

2025-02-27 17:52

Mathlib/RingTheory/TwoSidedIdeal/Operations.lean

feat(RingTheory/SimpleRing/Congr): simpleness is preserved by ring isomorphism (#21292) …

Modified TwoSidedIdeal.comap View on Github →

2024-12-21 19:08

Mathlib/RingTheory/TwoSidedIdeal/Operations.lean

chore: tidy various files (#20154)

Modified TwoSidedIdeal.comap 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.comap View on Github →