Commit 2025-06-20 15:07 bbd30ba9
View on Github →feat: [Normed]AddCommGroup instance for ContinuousMapZero (#26079)
I also make a bunch of instances fast_instance%s, otherwise a bunch of type inference starts to fail in the continuous functional calculus files.