Theorem Finset.choose_mem

Modification history