Theorem List.getLast_filter

Modification history