Theorem Finset.mem_univ_val

Modification history