mathlib3
0c149c90 - feat(analysis/special_functions/log): sum of logs is log of product (#11106)

Commit

4 years ago

feat(analysis/special_functions/log): sum of logs is log of product (#11106)

Author

b-mehta

b-mehta

Parents

Loading