TY  - RPRT
TI  - Formalization of the Axiom of Choice and its Equivalent Theorems
AU  - Tianyu Sun
AU  - Wensheng Yu
PY  - 2019
UR  - https://arxiv.org/abs/1906.03930
ID  - 1906.03930
ER  -