Theorem Finset.inter_sdiff_assoc

Modification history