Theorem List.suffix_refl

Modification history