Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ x0 ⟶ ∀ x3 : ι → ι . bij x0 x1 x3 ⟶ bij (setminus x0 (Sing x2)) (setminus x1 (Sing (x3 x2))) x3

type
prop

theory
HotG

name
-

proof
PUgGN..

Megalodon
-

proofgold address
TMcsa..

creator
19339 Pr4zB../4a44a..

owner
19339 Pr4zB../4a44a..

term root
20ec2..