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


            
            variable (f : α → β) (g : β → γ) (x : α)

            
            infixr:90 " ∘' "  => Function.comp


            #check (g ∘' f) x
	variable (f : α → β) (g : β → γ) (x : α)
	infixr:90 " ∘' " => Function.comp

	#check (g ∘' f) x