Proofgold Proposition

∀ x0 x1 . ∀ x2 x3 : ι → ι . inj x0 x1 x2 ⟶ inj x1 x0 x3 ⟶ equip x0 x1

type
prop

theory
HotG

name
SchroederBernstein

proof
PUMDQ..

Megalodon
SchroederBernstein

proofgold address
TMajc..^{SchroederBernstein}

creator
5952 Pr6Pc../e7ca3..

owner
5952 Pr6Pc../e7ca3..

term root
e247a..