brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-cuha

---

Definition df-cuha 713

Description: The norm or absolute value of a number. This generic definition operates over any multiplicative structure.

Assertion

Ref	Expression
df-cuha	⊢ li cu'a ku'i'a du li fe'a pi'i ku'i'a ku'i'a

---

This definition is referenced by: (None)

Copyright terms: Public domain

W3C validator