Theorem gradient_fun_const'

Modification history