Theorem Associates.eq_of_prod_eq_prod

Modification history