Proofgold Proposition

∀ x0 . setprod x0 x0 = setexp x0 2

type
prop

theory
HotG

name
setexp_2_eq

proof
PUgbQ..

Megalodon
setexp_2_eq

proofgold address
TMU8Z..^setexp_2_eq

creator
4904 Pr6Pc../41126..

owner
4904 Pr6Pc../41126..

term root
ffa8c..