a small, but not too small, set of definitions?

[vcvpaiva]

Maybe we could use the set of definitions called `Chicago Notes' in MathGloss (https://mathgloss.github.io/MathGloss/web/) which has 395 definitions (text to be found in https://github.com/vcvpaiva/Lucy/blob/main/BasicGlossary/chicagonotes.txt), as a small, but not too small set of definitions.

[ElifUskuplu]

Sorry for late response. What do you mean by using it? If you mean using it as another example, I can work on it.