Are the different "abstract" variables only distinguished by their type?
Viewed 23 times
Question added by author to discuss a refinement that results in greater precision.
waiting for moderation