Theorem List.concat_cons

Modification history