Theorem RatFunc.v_def

Modification history

2025-08-13 15:11
Mathlib/FieldTheory/RatFunc/AsPolynomial.lean
chore: fix namespace of RatFunc.WithZero.valued_def (#27997) …
Added RatFunc.v_defView on Github →