Proofgold Object

λ x0 . pack_b {x1 ∈ setexp x0 x0|bij x0 x0 (ap x1)} (λ x1 x2 . lam x0 (λ x3 . ap x2 (ap x1 x3)))

type
ι → ι

theory
HotG

name
symgroup

definition
PUMaE..

Megalodon
symgroup

proofgold address
TMLr5..^symgroup

creator
4924 Pr6Pc../90ce9..

owner
4924 Pr6Pc../90ce9..

term root
b5e0e..