Theorem Fermat42.exists_minimal

Modification history