Commit 2025-01-07 20:10 cac643fb
View on Github →feat(FDeriv/Equiv): generalize HasFDerivAt.of_local_left_inverse (#20516)
... to HasFDerivWithinAt.of_local_left_inverse.
feat(FDeriv/Equiv): generalize HasFDerivAt.of_local_left_inverse (#20516)
... to HasFDerivWithinAt.of_local_left_inverse.