Def Ideal.relIsoOfBijective
Modification history
2024-07-26 09:13
Mathlib/RingTheory/Ideal/Maps.lean
chore: robustifying for debug.byAsSorry (part 9) (#15150) …
Modified Ideal.relIsoOfBijectiveView on Github →2024-05-11 08:45
Mathlib/RingTheory/Ideal/Maps.lean
chore: split `RingTheory.Ideal.Operations` (#12777) …
Modified Ideal.relIsoOfBijectiveView on Github →