Metamath Proof Explorer


Syntax definition cprjcrv

Description: Extend class notation with the projective curve function.

Ref Expression
Assertion cprjcrv Could not format assertion : No typesetting found for class PrjCrv with typecode class