[ refactor ] Data.Fin.Properties.decFinSubset#2793

jamesmckinna merged 8 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:decFinSubsetjamesmckinna/agda-stdlib:decFinSubsetCopy head branch name to clipboard