Theorem List.eq_nil_or_concat'

Modification history