Metamath Proof Explorer


Syntax definition cascl

Description: Class of algebra scalars function.

Ref Expression
Assertion cascl class algSc