Proofgold Proposition

∀ x0 x1 x2 x3 . equip x0 x2 ⟶ equip x1 x3 ⟶ equip (setsum x0 x1) (setsum x2 x3)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equip_setsum_cong

proofgold address
TML48..^{equip_setsum_cong}

creator
2277 PrGxv../68763..

owner
2277 PrGxv../68763..

term root
092a0..