mathlib
1a4f9279 - chore(analysis/special_functions/pow): squeezing some simps (#16660)

Commit

3 years ago

chore(analysis/special_functions/pow): squeezing some simps (#16660)

Author

mcdoll

mcdoll

Parents

Loading