Commit 2021-12-20 11:53 b4961da2
View on Github →feat(analysis/calculus/{f,}deriv): generalize has_fderiv_at_filter.is_O_sub_rev
(#10897)
Also add has_deriv_at.is_O_sub_rev
feat(analysis/calculus/{f,}deriv): generalize has_fderiv_at_filter.is_O_sub_rev
(#10897)
Also add has_deriv_at.is_O_sub_rev