Theorem Finset.mem_toLeft

Modification history