Theorem Finset.not_mem_of_max_lt_coe

Modification history