Proofgold Proposition

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

type
prop

theory
HotG

name
combine_funcs_eq1

proof
PUMB7..

Megalodon
combine_funcs_eq1

proofgold address
TMa8S..^{combine_funcs_eq1}

creator
4898 Pr6Pc../86783..

owner
4898 Pr6Pc../86783..

term root
19f03..