Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ratfunc.to_fraction_ring_ring_equiv_symm_eq

Modification history

2021-12-16 16:16
src/field_theory/ratfunc.lean
chore(field_theory/ratfunc): to_fraction_ring_ring_equiv (#10806) …
Added ratfunc.to_fraction_ring_ring_equiv_symm_eqView on Github →