Commit 2023-04-17 10:23 c148e3fb

View on Github →

chore: golf (#3473)

  • Golf TopologicalGroup.toUniformSpace.
  • Slightly golf GroupSeminorm.toSeminormedGroup

Estimated changes