Theorem Equiv.sumCompl_apply_inl

Modification history