Theorem List.scanl_iff_nil

Modification history