Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . iff (x2 ∈ prim5 x0 x1) (∃ x3 . and (x3 ∈ x0) (x2 = x1 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..