refactor: state WellFoundedRelation Nat
using <
, not Nat.lt
#16928
This job succeeded
Loading
WellFoundedRelation Nat
using <
, not Nat.lt
#16928