Def RatFunc.laurentAux

Modification history

2026-03-05 14:15

Mathlib/FieldTheory/Laurent.lean

feat(RatFunc): add notation for RatFunc (#36172) …

Modified RatFunc.laurentAux View on Github →

2023-06-05 05:13

Mathlib/FieldTheory/Laurent.lean

feat: port FieldTheory.Laurent (#4512)

Added RatFunc.laurentAux View on Github →