Database
BASIC STRUCTURES
Extensible structures
Slot definitions
csca

Next ⟩ cvsca

Metamath Proof Explorer

Unicode
Structured

Syntax definition csca

Description: Extend class notation with scalar field.

		Ref	Expression
	Assertion	csca	class Scalar