Closed dherman closed 11 years ago
Everything that extracts the type from a \kappa_X should also check that it's a valid X.
\kappa_X
57bec3417670f561a58a8d6eee244fc302d0752b
Everything that extracts the type from a
\kappa_X
should also check that it's a valid X.