Theorem Finset.univ_filter_mem_range

Modification history