Theorem Dioph.proj_dioph_of_nat

Modification history