Proofgold Proposition

MetaCat_product_constr_p 8b17e.. BinRelnHom struct_id struct_comp (λ x0 x1 . pack_r 0 (λ x2 x3 . False)) (λ x0 x1 . 0) (λ x0 x1 . 0) (λ x0 x1 x2 x3 x4 . 0)

type
prop

theory
HotG

name
-

proof
PUMZ2..

Megalodon
-

proofgold address
TMJ39..

creator
11302 PrEBh../e5e13..

owner
11302 PrEBh../e5e13..

term root
019eb..