docs(crossref): add axiom and assumption theorem types, fix algorithm style - #2152

docs(crossref): add axiom and assumption theorem types, fix algorithm style#2152

luifrancgom wants to merge 1 commit into

quarto-dev:mainquarto-dev/quarto-web:mainfrom

luifrancgom:feat/theorems-axiom-assumption-algorithmluifrancgom/quarto-web:feat/theorems-axiom-assumption-algorithmCopy head branch name to clipboard