--- a/NEWS Mon Dec 19 11:23:28 2022 +0100
+++ b/NEWS Mon Dec 19 11:25:37 2022 +0100
@@ -120,6 +120,8 @@
- Added lemmas.
irrefl_lex_prod[simp]
irrefl_on_lex_prod[simp]
+ sym_lex_prod[simp]
+ sym_on_lex_prod[simp]
wfP_if_convertible_to_nat
wfP_if_convertible_to_wfP
wf_if_convertible_to_wf