Theorem Finset.mem_univ

Modification history