Proofgold Proposition

∀ x0 : ι → ι . finite_add_SNo 0 x0 = 0

type
prop

theory
HotG

name
-

proof
PULfh..

Megalodon
-

proofgold address
TMbk9..

creator
16612 PrGxv../b6b7a..

owner
16612 PrGxv../b6b7a..

term root
4376a..