Commit 2023-04-08 22:11 f5645984

View on Github →

fix: correct String.instLinearOrderString (#3339) Use the optimized compare function and provide a manual compare_eq_compareOfLessAndEq field.

Estimated changes

added theorem List.lt_iff_lex_lt