Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 : ι → ι → ι . x0 ⟶ If_iii x0 x1 x2 = x1

type
prop

theory
HotG

name
If_iii_1

proof
PUVNt..

Megalodon
If_iii_1

proofgold address
TMP1N..^If_iii_1

creator
4897 Pr6Pc../125eb..

owner
4897 Pr6Pc../125eb..

term root
2d62e..