Theorem Equiv.sumCompl_apply_symm_of_neg

Modification history