Search Results for 'metamath gch'

metamath gch published presentations and documents on DocSlides.

GCH implies AC

by tawny-fly

a . Metamath. Formalization. Mario CARNEIRO. 22 ...