Need an Autotopism version of everything. I suspect that most of this can be cut and pasted from PseudoIsometry. But it might be better to write it fresh and then compare so that we find what can be shared. That will lead to fewer bugs down the line.
Need an Autotopism version of everything. I suspect that most of this can be cut and pasted from PseudoIsometry. But it might be better to write it fresh and then compare so that we find what can be shared. That will lead to fewer bugs down the line.