Skip to content

util.nondecreasing duplicates predicate "sorted" from ssreflect.path

It seems that util.nondecreasing at least partially duplicates functionality of predicate sorted from ssreflect.path.

It might have sense to switch to sorted

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information