Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.funext_iff

Modification history

2020-09-25 14:53

src/data/mv_polynomial/funext.lean

feat(data/mv_polynomial/funext): function extensionality for polynomials (#4196) …

Added mv_polynomial.funext_iff View on Github →