Commit 2021-09-28 14:01 15f15a6e
View on Github →chore(order/*): replace mono_incr and mono_decr in lemma names wih monotone and antitone (#9428)
This change was performed as a find-and-replace. No occurrences of incr or decr appear as tokens in lemma names after this change.