Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ setexp x1 x0 ⟶ lam_comp x0 (lam_id x1) x2 = x2

type
prop

theory
HotG

name
lam_comp_id_L

proof
PUXQg..

Megalodon
lam_comp_id_L

proofgold address
TMNXX..^{lam_comp_id_L}

creator
5919 Pr6Pc../7400d..

owner
5919 Pr6Pc../7400d..

term root
e63b2..