cipf - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cipf		Structured version Visualization version GIF version

Syntax Definition cipf 20830

Description: Extend class notation with inner product function.

**Assertion**
Ref	Expression
cipf	class ·_if

See definition df-ipf 20832 for more information.

Colors of variables: wff setvar class