[ new ] Fin n as a refinement#2975

gallais merged 12 commits into

agda:masteragda/agda-stdlib:masterfrom

gallais:nat-boundedgallais/agda-stdlib:nat-boundedCopy head branch name to clipboard