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..