Theorem List.get_drop'

Modification history