Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-17 18:57 e23de85c

View on Github →

feat(algebra/algebra/basic) : add ring_hom.equiv_rat_alg_hom (#14772) Proves the equivalence between ring_hom and rat_alg_hom. From flt-regular

Estimated changes