Theorem List.get?_drop

Modification history