Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Rings (extension)
Basic ` N ` -th root of unity
cbru
Next ⟩
df-bru
Metamath Proof Explorer
Ascii
Unicode
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