zstone1 comments

Repositories
Issues
Comments

Results 42 comments of


                                            zstone1

completely regular spaces and locally compact implies uniform

I think `one-point` is better than `one point`. But I can't explain why. And I definitely should not have exposed `opc`. Nobody would know what that means without context. The...

completely regular spaces and locally compact implies uniform

I think we did make that change, and just never went back and removed al the extra `@`s. We have ``` Arguments normal_space : clear implicits. Arguments regular_space : clear...