Proofgold Proposition

∀ x0 x1 . equip x0 x1 ⟶ atleastp x0 x1

type
prop

theory
HotG

name
equip_atleastp

proof
PUfcG..

Megalodon
equip_atleastp

proofgold address
TMcmY..^{equip_atleastp}

creator
14561 Pr4zB../022fe..

owner
14561 Pr4zB../022fe..

term root
c9d4b..