[数学] A formalization of Univalent Axiom

https://readonly.link/manuals/cicada-lang/cicada/-/univalent/univalent-axiom.md