Theorem List.Duplicate.elim_nil

Modification history