Proofgold Proposition

∀ x0 x1 x2 x3 . setsum x0 x1 = setsum x2 x3 ⟶ and (x0 = x2) (x1 = x3)

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
pair_inj

proofgold address
TMa3o..^pair_inj

creator
1504 PrGxv../28e33..

owner
1504 PrGxv../28e33..

term root
fafba..