Def CauchyFilter

Modification history