Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-14 11:13 39962b7c

View on Github →

chore(data/polynomial/derivative): golf proof of mem_support_derivative (#4134) Golfed proof to be similar to what it was like prior to the refactor.

Estimated changes