FinalFantasy27 comments on Extensionality and the univalence axiom of type theory

[FinalFantasy27]

Thank you for the wonderful posts!