fix: consolidate redundant theorem tabs (closes #13)#15

ZRTMRH merged 1 commit into

mainZRTMRH/LinearAlgebraGame:mainfrom

fix-issue-13-tab-consolidationZRTMRH/LinearAlgebraGame:fix-issue-13-tab-consolidationCopy head branch name to clipboard