Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . ∀ x2 : ο . (∀ x3 . Group_Iso x0 x1 x3x2)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..