path: root/mathcomp/basic/descr

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...