Theorem Finset.coe_sdiff

Modification history