Theorem Dif_applyDep

Modification history