Theorem List.get?_zero_scanl

Modification history