Mathematical Components Library, basic restults

This library contains definitions and theorems about finite types,
finite sets, finite functions, finite graphs, basic arithmetics and
prime numbers, big operators...