ax-comp-pihi - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-comp-pihi

Axiom ax-comp-pihi 620

Description: Complex numbers are closed under multiplication. One of Megill's axioms.

**Assertion**
Ref	Expression
ax-comp-pihi	⊢ ganai li ku'i'a .e li ku'i'e lujna'ugi li * ku'i'a ku'i'e lujna'u

Distinct variable group: ku'i'a ,ku'i'e

This axiom is referenced by: (None)