Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 x3 : ι → ι . (∀ x4 . x4 ∈ x0 ⟶ x2 x4 = x3 x4) ⟶ bij x0 x1 x2 ⟶ bij x0 x1 x3

as obj
-

as prop
b3818..

theory
HotG

stx
47aef..

address
TMXgJ..