Database
BASIC ALGEBRAIC STRUCTURES
Groups
Abelian groups
Internal direct products
cdpj
Next ⟩
df-dprd
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdpj
Description:
Projection operator for a direct product.
Ref
Expression
Assertion
cdpj
class
dProj