Martin Escardo, 2014, 2021, 2023, 2025.

This is about Denis Higgs' involution theorem, with some of its
consequences, by other people and by myself.

You can discuss the results developed here at
https://mathstodon.xyz/deck/@MartinEscardo/111291658836418672

\begin{code}

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

module Higgs.index where

import Higgs.InvolutionTheorem
import Higgs.GroupStructureOnOmega
import Higgs.Rigidity
import Higgs.AutomorphismsOfOmega
import Higgs.AtMostTwoAutomorphismsOfOmega
import Higgs.AutomorphismsOfOmegaWEM       -- By J.A. Carr

\end{code}