Proofgold Proposition

∀ x0 : ι → ι → ο . per x0 ⟶ transitive x0

type
prop

theory
HoTg

name
per_tra

proof
PUhdM..

Megalodon
-

proofgold address
TMKGU..

creator
2717 PrGxv../0f361..

owner
2717 PrGxv../0f361..

term root
607d1..