Proofgold Object

λ x0 x1 . ∀ x2 : ο . (∀ x3 . Group_Iso x0 x1 x3 ⟶ x2) ⟶ x2

type
ι → ι → ο

theory
HotG

name
Group_Isomorphic

definition
PUXQg..

Megalodon
Group_Isomorphic

proofgold address
TMKSQ..^{Group_Isomorphic}

creator
5919 Pr6Pc../454b1..

owner
5919 Pr6Pc../454b1..

term root
727fd..