Proofgold Object

λ x0 x1 . ∃ x2 . Group_Iso x0 x1 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..