Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . In x2 x0 ⟶ In x3 (x1 x2) ⟶ In x3 (famunion x0 x1)

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
famunionI

proofgold address
TMdW5..^famunionI

creator
1339 PrGxv../f5116..

owner
1339 PrGxv../f5116..

term root
4d9a0..