@misc{indiciaed953aa5a03c1,
  title = {GCH implies AC, a Metamath Formalization},
  author = {Mario Carneiro},
  year = {2015},
  url = {https://arxiv.org/abs/1506.03533},
  note = {Source identifier: 1506.03533}
}