Metamath Proof Explorer

Syntax definition carea

Description: Area of regions in the complex plane.

Ref Expression
Assertion carea 
class area