Proofgold Proposition

∀ x0 : ι → ι . famunion 0 x0 = 0

type
prop

theory
HotG

name
famunion_Empty

proof
PUU9n..

Megalodon
famunion_Empty

proofgold address
TMTAV..^{famunion_Empty}

creator
4981 Pr6Pc../e5deb..

owner
4981 Pr6Pc../e5deb..

term root
fc1bd..