Commit 2023-11-12 09:05 b9566b3d

View on Github →

feat(Calculus/FDeriv): add DifferentiableAt.isBigO_sub (#8352)

  • rename HasFDerivWithinAt.isBigO to HasFDerivWithinAt.isBigO_sub;
  • rename HasFDerivAt.isBigO to HasFDerivAt.isBigO_sub;
  • add DifferentiableWithinAt.isBigO_sub;
  • add DifferentiableAt.isBigO_sub.

Estimated changes