Theorem gradient_const'

Modification history