local_extr): review (#6085)

Commit

5 years ago

chore(analysis/calculus/local_extr): review (#6085) * golf 2 proofs; * don't use explicit section `variables`; * add 2 docstrings.

Author

urkud

Parents