Proofgold Proposition

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

type
prop

theory
HotG

name
per_ref1

proof
PUKtJ..

Megalodon
per_ref1

proofgold address
TMTZp..^per_ref1

creator
4890 Pr6Pc../84d85..

owner
4890 Pr6Pc../84d85..

term root
c9ce8..