Proofgold Proposition

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
Inj1_pair_1_eq

proofgold address
TMHvj..^{Inj1_pair_1_eq}

creator
1504 PrGxv../8f0f9..

owner
1504 PrGxv../8f0f9..

term root
e88b1..