Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Rodolfo Medina
Partitions
wprt
Next ⟩
df-prt
Metamath Proof Explorer
Ascii
Structured
Syntax definition
wprt
Description:
Extend the definition of a wff to include the partition predicate.
Ref
Expression
Assertion
wprt
wff
Prt
𝐴