[ginkoleaf]

This distinction is only made by a small number of mostly constructivists. It is not common usage, and most working mathematicians will have no idea what you're talking about.