Proofgold Proposition

∀ x0 x1 . atleastp x0 x1 ⟶ ∀ x2 : ο . (∀ x3 : ι → ι . inj x0 x1 x3 ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
atleastp_E_impred

proofgold address
TMLuE..^{atleastp_E_impred}

creator
2279 PrGxv../d5422..

owner
2279 PrGxv../d5422..

term root
7963a..