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


          
            
            1011.lean:6:11-6:13: error: unknown identifier 'AA'