Proofgold Object

λ x0 x1 . not (x0 ⊆ x1)

type
ι → ι → ο

theory
HotG

name
nSubq

definition
PUfQZ..

Megalodon
nSubq

proofgold address
TMUnv..^nSubq

creator
4898 Pr6Pc../55cb3..

owner
4898 Pr6Pc../55cb3..

term root
ea71e..