Theorem Filter.prod_assoc_symm

Modification history