Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
combine_funcs_eq2

proofgold address
TMSKc..^{combine_funcs_eq2}

creator
1476 PrGxv../e3f0f..

owner
1476 PrGxv../e3f0f..

term root
a6e43..