Theorem List.join_repeat_nil

Modification history