Metamath Proof Explorer


Syntax definition csca

Description: Extend class notation with scalar field.

Ref Expression
Assertion csca
class Scalar