Proofgold Proposition

∀ x0 x1 x2 . ∀ x3 x4 : ι → ι . bij x0 x1 x3 ⟶ bij x1 x2 x4 ⟶ bij x0 x2 (λ x5 . x4 (x3 x5))

type
prop

theory
HotG

name
bij_comp

proof
PUL8Q..

Megalodon
bij_comp

proofgold address
TMMeM..^bij_comp

creator
4882 Pr6Pc../cb442..

owner
4882 Pr6Pc../cb442..

term root
abf85..