Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUg5x..

Megalodon
MetaCat_struct_r_equivreln_terminal

proofgold address
TMcUg..^{MetaCat_struct_r_equivreln_terminal}

creator
11300 PrEBh../1e40b..

owner
11305 PrEBh../c0ea5..

term root
ff283..