Theorem HasGradientAtFilter.isBigO_sub

Modification history