Theorem List.join_cons

Modification history