Proofgold Proposition

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

type
prop

theory
HotG

name
per_tra

proof
PUKtJ..

Megalodon
per_tra

proofgold address
TMXqA..^per_tra

creator
4890 Pr6Pc../a4496..

owner
4890 Pr6Pc../a4496..

term root
607d1..