Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
combine_funcs_eq1

proofgold address
TMHgV..^{combine_funcs_eq1}

creator
1476 PrGxv../57375..

owner
1476 PrGxv../57375..

term root
d8973..