Types equipped with automorphisms
module structured-types.types-equipped-with-automorphisms where
Imports
Idea
A type equipped with an automorphism is a pair consisting of a type A and an
automorphism on A.
module structured-types.types-equipped-with-automorphisms where
A type equipped with an automorphism is a pair consisting of a type A and an
automorphism on A.