Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Godel-sets of formulas - part 1
cprv
Next ⟩
df-goel
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cprv
Description:
The "proves" relation.
Ref
Expression
Assertion
cprv
class
⊧