Repository navigation

Toronto spaces definition + easy properties - #1564

Merged

felixpernegger merged 5 commits into

mainfrom

Dec 29, 2025

Commits on Dec 28, 2025
- Toronto spaces itroduction + easy properties
  felixpernegger
  committed
  e9b4937
- resolve merge conflict
  felixpernegger
  committed
  b620f84
- any -> every typo
  felixpernegger
  committed
  84ec027
Commits on Dec 29, 2025
- apply suggestions
  felixpernegger
  committed
  c6eb101
- apply suggestion
  felixpernegger
  committed
  e6f5d6e