Mathematics in Coq