Theorem List.infix_bind_of_mem

Modification history