Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BJ
Set theory
Elementwise operations
celwise

Next ⟩ df-elwise

Metamath Proof Explorer

Unicode
Structured

Syntax definition celwise

Description: Syntax for elementwise operations.

		Ref	Expression
	Assertion	celwise	class elwise