Mathlib Changelog
v4
Changelog
About
Github
Def
Homeomorph.prodUnits
Modification history
2025-02-28 02:02
Mathlib/Topology/Algebra/Group/Basic.lean
chore(Topology/../Group): fix 2 names (#22187) …
Added
Homeomorph.prodUnits
View on Github →