Metamath Proof Explorer


Syntax definition crrn

Description: Extend class notation with the n-dimensional Euclidean space.

Ref Expression
Assertion crrn
class Rn