Commit 2021-03-20 09:08 b0150a5d
View on Github →fix(analysis/special_functions/integrals): move lemmas out of namespace (#6778) Some lemmas should not have been moved into a namespace, so I fix that here.
fix(analysis/special_functions/integrals): move lemmas out of namespace (#6778) Some lemmas should not have been moved into a namespace, so I fix that here.