Proof that `pred` is right adjoint to `suc` on `ℕ._≤_`#2456

MatthewDaggitt merged 5 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:pred-right-adjointjamesmckinna/agda-stdlib:pred-right-adjointCopy head branch name to clipboard