Theorem Dioph.inject_dummies_lem

Modification history