Proofgold Proposition

∀ x0 : ι → ι . ∀ x1 . finite x1 ⟶ finite (prim5 x1 x0)

type
prop

theory
HotG

name
Repl_finite

proof
PUeVh..

Megalodon
Repl_finite

proofgold address
TMHuM..^Repl_finite

creator
29749 PrQUS../f0b59..

owner
29749 PrQUS../f0b59..

term root
9e486..