Theorem List.scanr_nil

Modification history