Theorem List.head?_append

Modification history