Theorem HasDerivAtFilter.hasGradientAtFilter'

Modification history