Metamath Proof Explorer

Syntax definition crrn

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

Ref Expression
Assertion crrn class ℝn