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