Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 . x0 x1 ⟶ struct_b x1) ⟶ x0 (pack_b 1 (λ x1 x2 . x1)) ⟶ MetaCat_terminal_p x0 MagmaHom struct_id struct_comp (pack_b 1 (λ x1 x2 . x1)) (λ x1 . lam (ap x1 0) (λ x2 . 0))

type
prop

theory
HotG

name
-

proof
PUdPp..

Megalodon
-

proofgold address
TMSW1..

creator
11767 PrEBh../a457e..

owner
11767 PrEBh../a457e..

term root
b8568..