SyntheticHomotopyTheory

Tom de Jong, 20 October 2025.


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

module SyntheticHomotopyTheory.index where

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