Metamath Proof Explorer


Syntax definition wa

Description: Extend wff definition to include conjunction ("and").

Ref Expression
Assertion wa
wff ( ph /\ ps )