Proofgold Proposition

∀ x0 : ο . (∀ x1 . x0) ⟶ x0

type
prop

theory
SetMM

name
-

proof
PUVjB..

Megalodon
-

proofgold address
TMYLV..

creator
36618 PrCmT../20167..

owner
36618 PrCmT../20167..

term root
93825..