Theorem Finset.one_mem_div_iff

Modification history