Repository navigation

Topological vector spaces over the reals are contractible - #889

Merged

prabau merged 13 commits into

mainfrom

Nov 14, 2024

Commits on Nov 9, 2024
- S106 has P199
  GeoffreySangston
  authored
  2be9882
- Adds hilbert space
  GeoffreySangston
  authored
  87cc22b
- Adds "over the reals"
  GeoffreySangston
  authored
  3037931
- Move proof to more basic example, refer others to it
  GeoffreySangston
  authored
  45ce420
Commits on Nov 10, 2024
- Update spaces/S000106/properties/P000199.md
  
  GeoffreySangston
  and
  yhx-12243
  authored
  8c05f43
- Delete file
  GeoffreySangston
  authored
  b1f0ae6
Commits on Nov 12, 2024