Proofgold Asset

asset id
94779eb29e478ad250a9c692748a40874ffe8844c46155932f21b46edf72af06

asset hash
9650b0cc2610839fc37c0c4c1ab9ffc332f06caf2c0f08e181c5c010335dbb66

bday / block
38966

tx
54e1b..

preasset
signature published by PrCmT.. Def 37da8..^and : ο → ο → ο := λ x0 x1 : ο . ∀ x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ x2 Known 3bf19..^andI : ∀ x0 x1 : ο . x0 ⟶ x1 ⟶ and x0 x1