Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ι . ∀ x4 . combine_funcs x0 x1 x2 x3 (Inj1 x4) = x3 x4

type
prop

theory
HotG

name
combine_funcs_eq2

proof
PUMB7..

Megalodon
combine_funcs_eq2

proofgold address
TMTpr..^{combine_funcs_eq2}

creator
4898 Pr6Pc../f20f2..

owner
4898 Pr6Pc../f20f2..

term root
709f3..