Back
Contents if...then condition 



A definition by cases examines a condition .
If this condition is fulfilled, afterwards the "then" instruction is executed, otherwise the "else" instruction.