Proofgold Proposition

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

type
prop

theory
HotG

name
Repl_invol_eq

proof
PUesu..

Megalodon
Repl_invol_eq

proofgold address
TMWvJ..^{Repl_invol_eq}

creator
12391 PrGxv../63854..

owner
12391 PrGxv../63854..

term root
e15a6..