ParentFull threadginkoleaf·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.View on HN