Proofgold Proposition

∀ x0 . lam_id x0 ∈ setexp x0 x0

type
prop

theory
HotG

name
lam_id_exp_In

proof
PUXQg..

Megalodon
lam_id_exp_In

proofgold address
TMdqv..^{lam_id_exp_In}

creator
5919 Pr6Pc../42385..

owner
5919 Pr6Pc../42385..

term root
a328f..