Proofgold Proposition

V_ = In_rec_poly_i (λ x1 . λ x2 : ι → ι . famunion x1 (λ x3 . Power (x2 x3)))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
V__def

proofgold address
-

creator

owner

term root
3e781..