3 ms·The error comme from the use of the equivalence operator instead of the material Implication operator =>by The_rationalist 7y agoThe error comme from the use of the equivalence operator instead of the material Implication operator =>