TY  - RPRT
TI  - GCH implies AC, a Metamath Formalization
AU  - Mario Carneiro
PY  - 2015
UR  - https://arxiv.org/abs/1506.03533
ID  - 1506.03533
ER  -