pf - brismu bridi

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

Syntax Definition pf 701

Description: Syntax for square roots.

**Hypothesis**
Ref	Expression
mkuhiha	PA ku'i'a

**Assertion**
Ref	Expression
pf	PA fe'a ku'i'a

See definition df-feha 702 for more information.

Colors of variables: sumti selbri bridi

Copyright terms: Public domain