Proofgold Proposition

∀ x0 x1 . OSNo x0 ⟶ OSNo x1 ⟶ conj_OSNo (add_OSNo x0 x1) = add_OSNo (conj_OSNo x0) (conj_OSNo x1)

type
prop

theory
HotG

name
conj_add_OSNo

proof
PUdK2..

Megalodon
conj_add_OSNo

proofgold address
TMVVG..^{conj_add_OSNo}

creator
28513 PrQUS../1c059..

owner
28513 PrQUS../1c059..

term root
35c19..