The top documents tagged [afterformal proof]

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