Theorem List.sublistsLen_succ_cons

Modification history