mathlib3
bb15b1ce - chore(analysis/calculus): rename `has_f?deriv_at_unique` to `has_f?deriv_at.unique` (#6019)

Commit

4 years ago

chore(analysis/calculus): rename `has_f?deriv_at_unique` to `has_f?deriv_at.unique` (#6019) Also make some lemmas `protected`.

Author

urkud

Parents