Theorem List.nil_infix

Modification history