Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . iff (x2 ∈ prim5 x0 x1) (∀ x3 : ο . (∀ x4 . and (x4 ∈ x0) (x2 = x1 x4) ⟶ x3) ⟶ x3)

type
prop

theory
HotG

name
ReplEq

proof
PUQdE..

Megalodon
ReplEq

proofgold address
TMQwY..^ReplEq

creator
4867 Pr6Pc../e5ea2..

owner
4867 Pr6Pc../e5ea2..

term root
4f235..