theorem LmEqRng: :: GROUP_23:1

for X, Y, Z, W being set st Z <> {} & W <> {} holds
for f being Function of [:X,Y:],Z
for g being Function of [:X,Y:],W st ( for a being Element of X
for b being Element of Y holds f . (a,b) = g . (a,b) ) holds
f = g