refactor: state WellFoundedRelation Nat using <, not Nat.lt
#3550
The logs for this run have expired and are no longer available.
Loading