Proofgold Proposition

∀ x0 . setprod x0 x0 = setexp x0 2

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setexp_2_eq

proofgold address
TMHWo..^setexp_2_eq

creator
1627 PrGxv../7de32..

owner
1627 PrGxv../7de32..

term root
ca08d..