Metamath Proof Explorer


Syntax definition celwise

Description: Syntax for elementwise operations.

Ref Expression
Assertion celwise class elwise