docs(Logic, Syntax/Predicate): Add and update some docstrings related to homomorphisms and rewritings#843
Open
Convindix wants to merge 2 commits into
Open
docs(Logic, Syntax/Predicate): Add and update some docstrings related to homomorphisms and rewritings#843Convindix wants to merge 2 commits into
Convindix wants to merge 2 commits into
Commits
Commits on Jul 11, 2026
- committed
- committed
