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


            
            example (h : P) : P ∨ Q := by

            
              apply .inl