Metamath Proof Explorer

Syntax definition cascl

Description: Class of algebra scalar injection function.

Ref Expression
Assertion cascl 
class algSc