theorem MinIn01: :: FUZNORM1:1

for a, b being Element of [.0,1.] holds min (a,b) in [.0,1.]