Theorem Polynomial.mkDerivationEquiv_symm_apply

Modification history

2023-08-02 18:06
Mathlib/Data/Polynomial/Derivation.lean
feat: derivations of (univariate) polynomials (#6023) …
Added Polynomial.mkDerivationEquiv_symm_applyView on Github →