Theorem List.scanr_cons

Modification history