Proofgold Proposition

type
prop

theory
HotG

name
sqrt_2_irrational

proof
PUTdS..

Megalodon
sqrt_2_irrational

proofgold address
TMQYM..^{sqrt_2_irrational}

creator
27893 PrQUS../a331f..

owner
27893 PrQUS../a331f..

term root
2c9cb..