Tom de Jong, 20 October 2025.

\begin{code}

{-# OPTIONS --safe --without-K #-}

module SyntheticHomotopyTheory.index where

import SyntheticHomotopyTheory.Circle.index
import SyntheticHomotopyTheory.RP-infinity

\end{code}