Commit 2024-02-09 15:09 9a10bb9b

View on Github →

feat: add Isometry.nnnorm_map (#10367) This is not placed directly next to its norm cousin because there is no NNNorm instance on SeminormedGroups at that point in the file.

Estimated changes