mathlib3
0e5f44b0 - chore(*): assorted lemmas for FTC-1 (#3755)

Commit

5 years ago

chore(*): assorted lemmas for FTC-1 (#3755) Lemmas from FTC-1 (`has_strict_deriv` version) #3709

Author

urkud

Parents