Report copyright - GCH implies AC - Metamathus.metamath.org/downloads/gchac.pptx.pdf · GCH implies AC •Written in Metamath notation as GCH=V→CHOICE •What does a local version look like? •Specker
Please pass captcha verification before submit form
Please pass captcha verification before submit form