Theorem Fermat42.neg_of_minimal

Modification history