Theorem Equiv.sumCompl_apply_symm_of_pos

Modification history