Theorem Fermat42.not_minimal

Modification history