Proofgold Proposition

∀ x0 x1 . x0 ⊆ x1 ⟶ atleastp x0 x1

type
prop

theory
HotG

name
Subq_atleastp

proof
PUfcG..

Megalodon
Subq_atleastp

proofgold address
TMTNp..^{Subq_atleastp}

creator
14561 Pr4zB../497aa..

owner
14561 Pr4zB../497aa..

term root
507ac..