Theorem Finset.zero_mem_box

Modification history