Theorem Lists'.mem_cons

Modification history