Proofgold Proposition

∀ x0 . finite x0 ⟶ ∀ x1 . x1 ⊆ x0 ⟶ finite x1

type
prop

theory
HotG

name
Subq_finite

proof
PUMXD..

Megalodon
Subq_finite

proofgold address
TMQbr..^Subq_finite

creator
12443 PrGxv../d36a0..

owner
12443 PrGxv../d36a0..

term root
6b062..