Theorem List.prefix_refl

Modification history