Theorem List.join_nil

Modification history