Add another equivalence lemma for fsinjectiveb.#137

CohenCyril merged 1 commit intomath-comp:mastermath-comp/finmap:masterfrom

arthuraa:imfset_eq_fsinjectiveParthuraa/finmap:imfset_eq_fsinjectivePCopy head branch name to clipboard