infinite_sum): add lemmas about division (#18351)

Commit

2 years ago

chore(topology/algebra/infinite_sum): add lemmas about division (#18351) This also flips the direction of some misnamed statements.

Author

eric-wieser

Parents