Theorem Filter.pure_mul

Modification history