A simple function to define case distinctions

case_distinction(...)

See also

Other Helper Functions: is_true