Proofgold Proposition

type
prop

theory
HotG

name
Inj0_pair_0_eq

proof
PUMB7..

Megalodon
Inj0_pair_0_eq

proofgold address
TMNdM..^{Inj0_pair_0_eq}

creator
4898 Pr6Pc../bfb03..

owner
4898 Pr6Pc../bfb03..

term root
0fe60..