Def Ideal.relIsoOfSurjective
Modification history
2024-07-27 08:25
Mathlib/RingTheory/Ideal/Maps.lean
chore: robustifying for debug.byAsSorry (part 11) (#15169)
Modified Ideal.relIsoOfSurjectiveView on Github →2024-05-11 08:45
Mathlib/RingTheory/Ideal/Maps.lean
chore: split `RingTheory.Ideal.Operations` (#12777) …
Modified Ideal.relIsoOfSurjectiveView on Github →