tests/lean/1673.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            def foo.a (n: Nat):

            
              ¬ True

            
            :=

            
              fun nope => (foo.a n) nope