Theorem Equiv.Set.sumDiffSubset_apply_inr

Modification history