Metamath Proof Explorer


Syntax definition cspn

Description: Extend class notation with subspace span in CH .

Ref Expression
Assertion cspn
class span