Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
Areas in R^2
carea
Next ⟩
df-area
Metamath Proof Explorer
Ascii
Structured
Syntax definition
carea
Description:
Area of regions in the complex plane.
Ref
Expression
Assertion
carea
class
area