Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . inj x0 x1 x2 ⟶ atleastp x0 x1

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
atleastp_I

proofgold address
TMHN1..^atleastp_I

creator
2279 PrGxv../a56e3..

owner
2279 PrGxv../a56e3..

term root
195b1..