Theorem List.getLast_eq_get

Modification history