mul): derivative of inverse in division rings (#19127)

Commit

2 years ago

feat(analysis/calculus/fderiv/mul): derivative of inverse in division rings (#19127)

Author

eric-wieser

Parents