Theorem Filter.prod_pure

Modification history