Posts
Comments
Comment by
FinalFantasy27 (finalfantasy27) on
Extensionality and the univalence axiom of type theory ·
2024-06-16T03:03:21.050Z ·
LW ·
GW
Thank you for the wonderful posts!