Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
Inj0_pair_0_eq

proofgold address
TMNqj..^{Inj0_pair_0_eq}

creator
1504 PrGxv../9b4e0..

owner
1504 PrGxv../9b4e0..

term root
74210..