Matheo Tripnaux's Second Brain

Univalence Axiom

1 min read

Equivalent types are equal.

Graph View