Proofgold Proposition

∀ x0 . nIn x0 x0

type
prop

theory
HoTg

name
In_irref

proof
PULk4..

Megalodon
-

proofgold address
TMFG2..

creator
2719 PrGxv../9639f..

owner
2719 PrGxv../9639f..

term root
12629..