The top documents tagged [metamath formalization]

GCH implies AC a Metamath Formalization MARIO CARNEIRO 22 JULY 2015
Documents GCH implies AC a Metamath Formalization MARIO CARNEIRO 22 JULY 2015

222 views