Theorem Filter.pure_vsub_pure

Modification history