Proofgold Proposition

∀ x0 . x0 ∈ setminus u10 u6 ⟶ ∀ x1 : ι → ο . x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 x0

type
prop

theory
HotG

name
-

proof
PUdwf..

Megalodon
-

proofgold address
TMLwy..

creator
31380 Pr4zB../8e81f..

owner
31380 Pr4zB../8e81f..

term root
6bbad..