Theorem Equiv.sumCompl_apply_inr

Modification history