mathlib3
c9cbcff7 - Merge branch 'AD_lp_functorial' into AD_lp_curry

Commit

3 years ago

Merge branch 'AD_lp_functorial' into AD_lp_curry

References

#15781 - feat(analysis/normed_space/lp_space): currying for `lp` spaces

Author

ADedecker

ADedecker

Parents

Loading