Utility lemmas in filter.v#2024

affeldt-aist merged 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

amolinamounier:filter_utilsamolinamounier/mathcomp-analysis:filter_utilsCopy head branch name to clipboard