diff options
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 0d70ff12..63d69f49 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(188596 . 3480551183) +(188596 . 3480583739) (((|#2| |#2|) -12 (|has| |#2| (-313 |#2|)) (|has| |#2| (-1109))) ((#0=(-2 (|:| -2013 |#1|) (|:| -2224 |#2|)) #0#) |has| (-2 (|:| -2013 |#1|) (|:| -2224 |#2|)) (-313 (-2 (|:| -2013 |#1|) (|:| -2224 |#2|))))) ((((-570)) . T) (($) -2740 (|has| |#1| (-311)) (|has| |#1| (-368)) (|has| |#1| (-354)) (|has| |#1| (-562))) (((-413 (-570))) -2740 (|has| |#1| (-368)) (|has| |#1| (-354)) (|has| |#1| (-1047 (-413 (-570))))) ((|#1|) . T)) (((|#2| |#2|) . T)) |