Glossary: Clarify which types don't participate in subtyping#1907
Merged
carljm merged 2 commits intopython:mainfrom Feb 10, 2025
johnslavik:correct-gradual-forms-and-types-terms
Merged
Glossary: Clarify which types don't participate in subtyping#1907carljm merged 2 commits intopython:mainfrom johnslavik:correct-gradual-forms-and-types-terms
carljm merged 2 commits intopython:mainfrom
johnslavik:correct-gradual-forms-and-types-terms
