Theorem List.prev_get

Modification history