Theorem Dioph.const_dioph

Modification history