标签： isabelle
u.user_id, f.eye_color, c.rating
如何证明这个基本引理？我是Isabelle的新手，这个问题令人困惑。
答案 0 :(得分：1)
通过案例分析：
by (cases a, auto)