Theorem List.suffix_nil_iff

Modification history