Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-04 10:04 7f7f3d90

View on Github →

feat(ring_theory/ideal/operations): ring_hom.ker_is_maximal_of_surjective (#8990)

Estimated changes