Theorem Filter.pure_vsub

Modification history