Theorem HasGradientAtFilter.hasDerivAtFilter'

Modification history