Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUdPp..

Megalodon
-

proofgold address
TMQ3T..

creator
11767 PrEBh../18a50..

owner
11767 PrEBh../18a50..

term root
bcecd..