theorem MinEqMin: :: FUZIMPL4:33

for f, g being Fuzzy_Negation
for ff, gg being Membership_Func of [.0,1.] st f = ff & g = gg holds
min (f,g) = min (ff,gg)