Commit 2023-10-11 08:24 8de3e102

View on Github →

chore: bump std (#7602)

Estimated changes

modified theorem Bool.not_ne_id
added theorem List.IsPrefix.map
deleted theorem List.isPrefix.filter_map
deleted theorem List.isPrefix.map
added def String.IsPrefix
added def String.IsSuffix
deleted def String.isPrefix
deleted def String.isSuffix
modified theorem String.leftpad_prefix
modified theorem String.leftpad_suffix