Skip to content

Add decidability instances for Z.gt and Z.ge

Tej Chajed requested to merge tchajed/stdpp:z-greater-decidability into master

Unfortunately these are not just defined as flipped versions of Z.lt and Z.ge.

Merge request reports