Proofgold Object

SNo_rec_i (λ x0 . λ x1 : ι → ι . SNoCut (prim5 (SNoR x0) x1) (prim5 (SNoL x0) x1))

type
ι → ι

theory
HotG

name
minus_SNo

definition
PUK1b..

Megalodon
minus_SNo

proofgold address
TMNRx..^minus_SNo

creator
4949 Pr6Pc../6a7df..

owner
4949 Pr6Pc../6a7df..

term root
268a6..