Theorem List.isSuffix.length_le

Modification history