Proofgold Proposition

binop_on 1 (λ x0 x1 . 0)

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
binop_on_1

proofgold address
TMXna..^binop_on_1

creator
2311 PrGxv../9b847..

owner
2311 PrGxv../9b847..

term root
79681..