Proofgold Proposition

∀ x0 x1 . Subq x0 x1 ⟶ Subq (SNoElts_ x0) (SNoElts_ x1)

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoElts_mon

proofgold address
TMcvV..^SNoElts_mon

creator
2357 PrGxv../75582..

owner
2357 PrGxv../75582..

term root
42fa8..