Proofgold Proposition

∀ x0 x1 . TransSet x1 ⟶ x0 ∈ ordsucc x1 ⟶ x0 ⊆ x1

type
prop

theory
HotG

name
TransSet_In_ordsucc_Subq

proof
PUK1b..

Megalodon
TransSet_In_ordsucc_Subq

proofgold address
TMH3p..^{TransSet_In_ordsucc_Subq}

creator
4949 Pr6Pc../a5522..

owner
4949 Pr6Pc../a5522..

term root
f80c6..