Theorem Filter.pure_prod

Modification history