Proofgold Proposition

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

type
prop

theory
HotG

name
Repl_inv_eq

proof
PUesu..

Megalodon
Repl_inv_eq

proofgold address
TMQkH..^Repl_inv_eq

creator
12391 PrGxv../67f2d..

owner
12391 PrGxv../67f2d..

term root
968c7..