ax-real-pihi - brismu bridi

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

Axiom ax-real-pihi 625

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

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

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

This axiom is referenced by: (None)