Proofgold Proposition

∀ x0 . nIn x0 x0

type
prop

theory
HotG

name
In_irref

proof
PUL8Q..

Megalodon
In_irref

proofgold address
TMZag..^In_irref

creator
4882 Pr6Pc../9fb24..

owner
4882 Pr6Pc../9fb24..

term root
12629..