Search for blocks/addresses/...

Proofgold Object

λ x0 x1 x2 . and (Group_Hom x0 x1 x2) (bij (field0 x0) (field0 x1) (ap x2))
type
ιιιο
theory
HotG
name
Group_Iso
definition
PUXQg..
Megalodon
Group_Iso
proofgold address
TMLox..Group_Iso
creator
5919 Pr6Pc../d576d..
owner
5919 Pr6Pc../d576d..
term root
3bc46..