diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-17 07:20:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-17 07:20:46 +0000 |
| commit | d69a5741c16f450e981b7d8f4b28c217f388890d (patch) | |
| tree | 67bf6dccc4bdc6221e9160749232402b91d29d96 /src/share/algebra/category.daase | |
| parent | eff8995031482604470f31c7cc24e525c5edadb2 (diff) | |
| download | open-axiom-d69a5741c16f450e981b7d8f4b28c217f388890d.tar.gz | |
Weaken conditions on parameter of partial differential domains.
Diffstat (limited to 'src/share/algebra/category.daase')
| -rw-r--r-- | src/share/algebra/category.daase | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index 23c7d2e7..8448b177 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(203793 . 3578504328) +(203793 . 3580441382) ((((-774)) . T)) ((((-774)) . T)) ((((-774)) . T)) |