Theorem Dif_const

Modification history