Metamath Proof Explorer


Syntax definition cbru

Description: Extend class notation with the mapping yielding the basic N -th root of unity.

Ref Expression
Assertion cbru
class bRoU