Theorem List.nil_suffix

Modification history