Database
BASIC ALGEBRAIC STRUCTURES
The complex numbers as an algebraic extensible structure
Signs as subgroup of the complex numbers
Next ⟩
cnmsgnsubg
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 10.8.4. Signs as subgroup of the complex numbers
cnmsgnsubg
cnmsgnbas
cnmsgngrp
psgnghm
psgnghm2
psgninv
psgnco