Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-13 19:31 c895ddd9

View on Github →

feat(topology/algebra/group): add homeomorph.prod_units (#10725)

Estimated changes