inductiveには := が付かない。

Lean ハマリ所 
inductive foo : Type :=
| bar : foo
| baz : foo

と書きたくなるが、:= は要らない。なぜなのだろう？

[追記]match/with/end の省略と同じみたいだ。[/追記]