Proofgold Proposition

∀ x0 x1 x2 . Subq x0 x1 ⟶ atleastp x1 x2 ⟶ atleastp x0 x2

type
prop

theory
HF

name
-

proof
PUUfi..

Megalodon
-

proofgold address
TMM7t..

creator
3131 PrGxv../c3fc8..

owner
3131 PrGxv../c3fc8..

term root
1e700..