Theorem Filter.prod_lift'_lift'

Modification history