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 Could not format assertion : No typesetting found for class bRoU with typecode class