Proofgold Proposition

type
prop

theory
HotG

name
even_nat_S_S_inv

proof
PUaSr..

Megalodon
even_nat_S_S_inv

proofgold address
TMTj7..^{even_nat_S_S_inv}

creator
23745 Pr5Zc../77a06..

owner
23745 Pr5Zc../77a06..

term root
6aedd..