A question about rng being non empty

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Hi:

I must be getting rusty, no matter what I do I cannot get rid of these errors:

   consider g being non empty Function;
::>                                  *136
   consider h being non empty Function of NAT, NAT;   
::>                                  *136
   consider f being Function of NAT,NAT;
   rng f is non empty;
::>                 *4

For the first two, I cannot find the needed clusters and this surpises me.
For the third error my surprise is even bigger.

Of course, I can add the needed clusters but I have excpected to find them
in MML by now.

Cheers,

-- 
Piotr Rudnicki               CompSci, Univerity of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr

I am a fundamentalist: always fun before mental.