Theorem List.get?_zero

Modification history