feat: Added possibility for shared numbering of theorems, fixing issue #64#161

douden merged 15 commits into

executablebooks:Ljon4ik4-mainexecutablebooks/sphinx-proof:Ljon4ik4-mainfrom

Ljon4ik4:mainLjon4ik4/sphinx-proof:mainCopy head branch name to clipboard