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