Theorem List.last_eq_get

Modification history