Proofgold Proposition

∀ x0 : ο . ∀ x1 . If_i x0 x1 x1 = x1

type
prop

theory
HotG

name
If_i_eta

proof
PUL8Q..

Megalodon
If_i_eta

proofgold address
TMTiR..^If_i_eta

creator
4882 Pr6Pc../a1a7d..

owner
4882 Pr6Pc../a1a7d..

term root
c790e..