Yury G. Kudryashov (Mar 22 2021 at 20:56):
I want to have Haar measure on homogeneous spaces, so I want continuous actions. I'm refactoring
topological_algebra to use a single class
Scott Morrison (Mar 22 2021 at 21:47):
Okay. I have some branches that touch those files, but hopefully they'll be easy to update, and I agree this sounds a better design!
Yury G. Kudryashov (Mar 22 2021 at 22:06):
Yury G. Kudryashov (Mar 23 2021 at 13:58):
Now it's ready for review.
Last updated: May 14 2021 at 18:28 UTC