Replace fset.v with finmap #1
Description
The developments in this repository are based on a finite set library called fset.v, which is a precursor to math-comp/finmap. In order to reduce complexity, it would be desirable to replace fset.v with finmap.