Theorem RatFunc.laurentAux_ofFractionRing_mk

Modification history

2023-06-05 05:13
Mathlib/FieldTheory/Laurent.lean
feat: port FieldTheory.Laurent (#4512)
Added RatFunc.laurentAux_ofFractionRing_mkView on Github →