Theorem Equiv.prod_assoc_symm_image

Modification history