Theorem List.choose_mem

Modification history