Def RatFunc.liftRingHom

Modification history

2026-03-05 14:15

Mathlib/FieldTheory/RatFunc/Basic.lean

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

Modified RatFunc.liftRingHom View on Github →

2023-05-25 21:39

Mathlib/FieldTheory/RatFunc.lean

feat: port FieldTheory.Ratfunc (#4293) …

Added RatFunc.liftRingHom View on Github →