tests/lean/421.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            case nilw

            
            ⊢ Conw.nilw = Conw.nilw