Theorem Finset.mem_toRight

Modification history