I should have said real manifolds; I thought that was what the parent comment had in mind but the brevity wasn't worth it. Of course, I've learned a lot about

I should have said real manifolds; I thought that was what the parent comment had in mind but the brevity wasn't worth it. Of course, I've learned a lot about these things from your writings.