%! TEX root = LST.tex
% vim: tw=50
% 07/03/2024 09AM

\glsnoundefn{card}{cardinal}{cardinals}
\glsadjdefn{cardty}{cardinalty}{set}

TODO