Proofgold Proposition

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

type
prop

theory
HotG

name
inv_Repl_eq

proof
PUK1b..

Megalodon
inv_Repl_eq

proofgold address
TMTeQ..^inv_Repl_eq

creator
4949 Pr6Pc../48041..

owner
4949 Pr6Pc../48041..

term root
de175..