Metamath Proof Explorer

Syntax definition cascl

Description: Class of algebra scalar lifting function.

Ref Expression
Assertion cascl 
class algSc