A
B
-
-
A => B /\ (A\/B)
----------
A => B
-----
A
This one doesn't mean anything, but you see the kind...
I can't use a table, neither Fraction.
Please, help me...
-- Romain Janvier. Equipe cadp. VERIMAG. Grenoble. France.
