refactor: state WellFoundedRelation Nat using <, not Nat.lt#5012
Merged
nomeata merged 1 commit intomasterfrom joachim/wf-nat-ltAug 13, 2024
+1-1
WellFoundedRelation Nat using <, not Nat.lt#5012