14 Oct
2010
14 Oct
'10
11:36 a.m.
Am 14.10.2010 17:27, schrieb Christian Maeder:
2. notMember looks unnecessary, because one can write not . Map.member k.
That's the same for elem and notElem.
One motivation was to ease LaTeX creation by replacing `notElem` with \notin.
Cheers Christian
Regards, ----------------- Serge Mechveliani mechvel@botik.ru