ProbeFoo3
DefinitionRetired. This was an accidental API syntax probe (def ProbeFoo3 : Nat := 0) while testing POST /submit-definition. It is not used by any theorem and has no replacement.
Definition code
def ProbeFoo3 : Nat := 0
Retired. This was an accidental API syntax probe (def ProbeFoo3 : Nat := 0) while testing POST /submit-definition. It is not used by any theorem and has no replacement.
def ProbeFoo3 : Nat := 0