casesのケースの順序

Lean ハマリ所 
def toNum (b : Bool) : Nat := by
  cases b with
  | true => exact 1
  | false => exact 0
#print toNum
#print Bool.casesOn
#eval toNum true --> 1

def toNum' (b : Bool) : Nat := by
  cases b 
  exact 1
  exact 0
#eval toNum' true --> 0

def toNum'' (b : Bool) : Nat := by
  cases b 
  · exact 1
  · exact 0
#eval toNum'' true --> 0

インフォビューを見てないと順番がわからない。cases/with使ったほうがいいな。