Theorem List.isPrefix.isInfix

Modification history