Documentation
MathlibNt
.
Tactic
.
Tests
.
PolynomialDerivTests
Search
return to top
source
Imports
Init
Init
MathlibNt.Tactic.PolynomialDeriv
Mathlib.Analysis.SpecialFunctions.Log.Deriv
Imported by