Theorem List.infix_refl

Modification history