Theorem Equiv.sumAssoc_apply_inl_inl

Modification history