Proofgold Proposition

∀ x0 x1 : ι → ι → ο . (∀ x2 x3 . x0 x2 x3 ⟶ x1 x2 x3) ⟶ reflexive x1 ⟶ ∀ x2 x3 . reflclos x0 x2 x3 ⟶ x1 x2 x3

type
prop

theory
HotG

name
reflclos_min

proof
PUKtJ..

Megalodon
reflclos_min

proofgold address
TMbsP..^reflclos_min

creator
4890 Pr6Pc../38c37..

owner
4890 Pr6Pc../38c37..

term root
3c9bf..