Theorem HasDerivAtFilter.hasGradientAtFilter

Modification history