Theorem List.head!_append

Modification history