Proofgold Proposition

∀ x0 : ι → ι → ο . per x0 ⟶ ∀ x1 x2 x3 . x0 x2 x1 ⟶ x0 x2 x3 ⟶ x0 x1 x3

type
prop

theory
HotG

name
per_stra1

proof
PUKtJ..

Megalodon
per_stra1

proofgold address
TMWwh..^per_stra1

creator
4890 Pr6Pc../b9e58..

owner
4890 Pr6Pc../b9e58..

term root
25c6c..