Metamath Proof Explorer


Syntax definition cascl

Description: Class of algebra scalar injection function.

Ref Expression
Assertion cascl
class algSc