9j: delete metricInner typeclass abbrev — end of typeclass-bound metric API#45

Xinze-Li-Moqian merged 2 commits into

mainMathNetwork/OpenGA:mainfrom

refactor/explicit-g-9jMathNetwork/OpenGA:refactor/explicit-g-9jCopy head branch name to clipboard