Theorem hasGradientAtFilter_const

Modification history