mathlib
666b9e59 - refactor(analysis/mean_inequalities): review (#3023)

Commit

5 years ago

refactor(analysis/mean_inequalities): review (#3023) Also add several lemmas to other files

Author

urkud

Parents