Proofgold Proposition

∀ x0 x1 . Sing x0 = x1 ⟶ and (x0 ∈ x1) (∀ x2 . x2 ∈ x1 ⟶ x2 = x0)

type
prop

theory
HotG

name
Sing_inv

proof
PUYSq..

Megalodon
Sing_inv

proofgold address
TMMav..^Sing_inv

creator
4892 Pr6Pc../8f365..

owner
4892 Pr6Pc../8f365..

term root
57ae4..