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


            
            1

            
            2

            
            3

            
            4

            
            5

            
            6

            
            7

            
            8

            
            9

            
            10

            
            11