Skip to content

Re-use existing mapping in normalize_subscript if names are Names. #63

Re-use existing mapping in normalize_subscript if names are Names.

Re-use existing mapping in normalize_subscript if names are Names. #63