Weakened pre-conditions of grouped map lemmas#2108

MatthewDaggitt merged 1 commit intomasteragda/agda-stdlib:masterfrom

weaken-map-groupagda/agda-stdlib:weaken-map-groupCopy head branch name to clipboard