Theorem List.join_replicate_nil

Modification history