Theorem Equiv.prod_assoc_symm_preimage

Modification history