Theorem List.head!_mem_self

Modification history