Proofgold Proposition

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

type
prop

theory
HotG

name
pair_inj

proof
PUMB7..

Megalodon
pair_inj

proofgold address
TMTqq..^pair_inj

creator
4898 Pr6Pc../194dc..

owner
4898 Pr6Pc../194dc..

term root
c7ef9..