lp_space): some variations of Markov's inequality formulated using `snorm` (#11478)

Commit

3 years ago

feat(measure_theory/function/lp_space): some variations of Markov's inequality formulated using `snorm` (#11478)

Author

kex-y

Parents