Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

Add not LTE implies GT, and LTE implies maximum.#4428

Open
LeifW wants to merge 2 commits into
idris-lang:masterfrom
LeifW:nat_gte
Open

Add not LTE implies GT, and LTE implies maximum.#4428
LeifW wants to merge 2 commits into
idris-lang:masterfrom
LeifW:nat_gte

Commits

Commits on Apr 25, 2018