Theorem List.dropLast_append_getLast?

Modification history