Skip to content
GitLab
Explore
Sign in
HoTT
Containers
Issues
#3
Derivation
Definition through universal property. Construction using subtraction of single points.