Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . (∀ x2 . x2 ∈ x0 ⟶ ∀ x3 . x3 ∈ x2 ⟶ x1 x2 ⟶ x1 x3) ⟶ ordinal (Sep x0 x1)

type
prop

theory
HotG

name
ordinal_Sep

proof
PUL8Q..

Megalodon
ordinal_Sep

proofgold address
TMHv1..^ordinal_Sep

creator
4882 Pr6Pc../9f6f7..

owner
4882 Pr6Pc../9f6f7..

term root
9c0d4..