Theorem List.dropLast_append_getLast

Modification history