Skip to content

clean up in util/nondecreasing.v

Sergey Bozhko requested to merge sbozhko/rt-proofs:clean_up into master

Small proof tweaks in util/nondecreasing.v

Even though this file will (probably) be eventually deleted (#77), the exact date is unknown, so it makes sense to clean it up as well.

Merge request reports