Proofgold Proposition

∀ x0 . x0 ∈ 87ab7.. ⟶ ∀ x1 : ο . (∀ x2 . and (x2 ∈ SNoS_ omega) (SNoLt x2 x0) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
real_ex_diad_Lt

proofgold address
TMWnk..^{real_ex_diad_Lt}

creator
5368 Pr6Pc../d406f..

owner
5368 Pr6Pc../d406f..

term root
8a1a8..