Library Coqtail.Complex.Complex


This file requires the most basic facts on Complex (Cnorm, Cpow, ring/field ...)

Require Export Cbase.
Require Export Cnorm.
Require Export Cpow.
Require Export Cfunctions.
Require Export Cprop_base.
Require Export Ctacfield.