Theorem List.getLastI_eq_getLast?

Modification history