Commit 2023-11-29 11:22 49383962

View on Github →

feat (Mathlib.RingTheory.Ideal.Operations) : Change hypotheses from ring to semiring (#8469) Moved some results from ring to semiring.

Estimated changes

added theorem Ideal.comap_symm
added theorem Ideal.map_symm