feat: Added possibility for shared numbering of theorems.#164

douden merged 12 commits into

prepare-releaseexecutablebooks/sphinx-proof:prepare-releasefrom

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