 Shad Amethyst
|
8737257190
|
🎉 Construct the equivariant homeomorphism to the rubin space
|
10 months ago |
|
Shad Amethyst
|
7c5ce7e631
|
✨ Working equiv for RubinSpace
|
10 months ago |
|
Shad Amethyst
|
6a2f4960d7
|
✨ Construct ultrafilters in the topolical space and rubinfilters from one another
|
10 months ago |
|
Shad Amethyst
|
5fb9162950
|
✨ Prove that UltrafilterInBasis is a sufficient condition for convergence
|
10 months ago |
|
Shad Amethyst
|
431a2931d7
|
✨ Implement UltrafilterInBasis.map_basis
|
10 months ago |
|
Shad Amethyst
|
e84ff177bd
|
✨ Start working on Filter.InBasis
|
10 months ago |