Proofgold Object

λ x0 : ο . If_i x0 1 0

type
ο → ι

theory
HotG

name
propToBool

definition
PUha4..

Megalodon
-

proofgold address
TMUJo..

creator
4903 Pr6Pc../81c51..

owner
4903 Pr6Pc../81c51..

term root
d3b96..