Theorem RatFunc.toFractionRing_eq_iff

Modification history

2024-11-03 19:16

Mathlib/FieldTheory/RatFunc/Defs.lean

chore(FieldTheory/RatFunc): clean up porting notes (#18001) …

Added RatFunc.toFractionRing_eq_iff View on Github →