Theorem List.nil_prefix

Modification history