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


            
            theorem r:0:=do

            
            0if 0then 0

            
            .