Theorem List.isSuffix.isInfix

Modification history