Theorem Equiv.sumAssoc_symm_apply_inl

Modification history