Proofgold Proposition

∀ x0 x1 . x0 ⊆ x1 ⟶ x1 ⊆ x0 ⟶ x0 = x1

type
prop

theory
HotG

name
set_ext

proof
PUQdE..

Megalodon
set_ext

proofgold address
TMQ3C..^set_ext

creator
4867 Pr6Pc../287fe..

owner
4867 Pr6Pc../287fe..

term root
b3b69..