Theorem Finset.mem_nonMemberSubfamily

Modification history