Theorem List.getLast_filter'

Modification history