Proofgold Proposition

∀ x0 x1 . x0 ⊆ x1 ⟶ SNoElts_ x0 ⊆ SNoElts_ x1

type
prop

theory
HotG

name
SNoElts_mon

proof
PUUwp..

Megalodon
SNoElts_mon

proofgold address
TMYbW..^SNoElts_mon

creator
4910 Pr6Pc../bcb55..

owner
4910 Pr6Pc../bcb55..

term root
49a08..