mathlib3
39962b7c - chore(data/polynomial/derivative): golf proof of mem_support_derivative (#4134)

Commit
5 years ago
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.
Parents
Loading