Skip to content

GitLab

Merged
Opened by Tej Chajed@tchajedContributor

Add decidability instances for Z.gt and Z.ge

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