theorem :: FUZIMPL4:34

for f, g being Fuzzy_Negation holds min (f,g) = (minfuncreal [.0,1.]) . (f,g)