fea (crossref): add axiom and assumption theorem types, fix algorithm style - #14800
Open
luifrancgom wants to merge 5 commits into
Open
fea (crossref): add axiom and assumption theorem types, fix algorithm style#14800luifrancgom wants to merge 5 commits into
luifrancgom wants to merge 5 commits into
Commits
Commits on Aug 23, 2026
- committed
- committed
- committed
- committed
