Proofgold Proposition

∀ x0 . x0 ∈ 87ab7.. ⟶ x0 = SNoCut (SNoL_omega x0) (SNoR_omega x0)

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
real_SNoL_SNoR_omega

proofgold address
TMad5..^{real_SNoL_SNoR_omega}

creator
5368 Pr6Pc../dd44b..

owner
5368 Pr6Pc../dd44b..

term root
e3f60..