Mathlib v3 is deprecated. Go to Mathlib v4

Def polynomial_module.equiv_polynomial

Modification history

2022-08-17 07:10
src/data/polynomial/module.lean
feat(data/polynomial): Polynomial modules (#15065)
Added polynomial_module.equiv_polynomialView on Github →