Theorem Fermat42.exists_odd_minimal

Modification history