Theorem Equiv.Set.sumCompl_apply_inr

Modification history