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