[ refactor ] `Data.List.Relation.Binary.Sublist.Propositional.Properties`#2808

jamesmckinna wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:all-any-functorialityjamesmckinna/agda-stdlib:all-any-functorialityCopy head branch name to clipboard