Theorem gradient_fun_const

Modification history