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


            
            A.x (B.toA (C.toB c))

            
            B.y (C.toB c)

            
            C.z c