Theorem List.foldl_assoc_comm_cons

Modification history