Proof

Collage sources: Anders Mörtberg's lecture notes on cubical type theory, a cube from Carlo Angiuli's thesis, and an issue of National Geographic.
Talia Ringer
Collage sources: Anders Mörtberg's lecture notes on cubical type theory, a cube from Carlo Angiuli's thesis, and an issue of National Geographic.