Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-02-03 19:48 b363547b

View on Github →

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

Estimated changes