Proofgold Proposition

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

type
prop

theory
HotG

name
In_ind

proof
PUQdE..

Megalodon
In_ind

proofgold address
TMMzA..^In_ind

creator
4867 Pr6Pc../148ec..

owner
4867 Pr6Pc../148ec..

term root
04521..