Cyril Cohen
This library was developed independently but inspired from Pierre-Yves Strub's library (https://github.com/strub/ssrmisc/blob/master/fset.v) from Christian Doczkal's library (https://www.ps.uni-saarland.de/formalizations/fset/html/libs.fset.html) and from Beta Ziliani's work (no reference provided so far).
This library should ultimately be integrated to the mathematical components library, when it is finished.
The documentation is available in the header of the file.
This program is free software; you can redistribute it and/or modify it under the terms of the CeCILL B FREE SOFTWARE LICENSE.
You should have received a copy of the CeCILL B License with this Kit, in the file named "CeCILL-B". If not, visit http://www.cecill.info