Proofgold Proposition

∀ x0 x1 . OSNo x0 ⟶ OSNo x1 ⟶ add_OSNo x0 x1 = add_OSNo x1 x0

type
prop

theory
HotG

name
add_OSNo_com

proof
PUdK2..

Megalodon
add_OSNo_com

proofgold address
TMMNb..^add_OSNo_com

creator
28513 PrQUS../0bf5d..

owner
28513 PrQUS../0bf5d..

term root
a80b6..