Proofgold Proposition

real = {x1 ∈ e523d..|28f8d.. x1 = x1}

type
prop

theory
HotG

name
-

proof
PUS1J..

Megalodon
-

proofgold address
TMdhC..

creator
28233 PrQUS../585a8..

owner
28233 PrQUS../585a8..

term root
4ec2f..