pfr - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > pfr

Syntax Definition pfr 703

Description: Syntax for fractions.

**Hypotheses**
Ref	Expression
mkuhiha	PA ku'i'a
mkuhihe	PA ku'i'e

**Assertion**
Ref	Expression
pfr	PA ku'i'a fi'u ku'i'e

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

See definition df-frinynahu 706 for more information.

Colors of variables: sumti selbri bridi