Theorem List.isInfix.length_le

Modification history