fderiv_symmetric): split a slow proof

Commit

3 years ago

chore(analysis/calculus/fderiv_symmetric): split a slow proof This makes it significantly less readable unfortunately.

References

Author

eric-wieser

Parents