Proofgold Object

λ x0 . If_i (SNoLe 0 x0) x0 (minus_SNo x0)

type
ι → ι

theory
HotG

name
abs_SNo

definition
PUfRQ..

Megalodon
abs_SNo

proofgold address
TMVpm..^abs_SNo

creator
6761 Pr6Pc../e980d..

owner
6761 Pr6Pc../e980d..

term root
34f6d..