Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* 0 and ∅ not added as species for user defined function * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci * Change explicit list to self.nothing * Fix merge conflict of last commit Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
- Loading branch information