fix error in category declaration
This commit is contained in:
parent
80377fc784
commit
e9f75cd220
1 changed files with 3 additions and 1 deletions
|
@ -154,9 +154,11 @@ __HEADER__(Definitions of categories with automatic indexing)%% Wrapper commands
|
||||||
\translate{CGHaus~(Category~description)}
|
\translate{CGHaus~(Category~description)}
|
||||||
]
|
]
|
||||||
\DeclareSimpleCategory
|
\DeclareSimpleCategory
|
||||||
|
[
|
||||||
|
formula = S
|
||||||
|
]
|
||||||
{ SimplicialSet }
|
{ SimplicialSet }
|
||||||
[
|
[
|
||||||
formula = S,
|
|
||||||
\translate{SimplicialSet~(Category~description)}
|
\translate{SimplicialSet~(Category~description)}
|
||||||
]
|
]
|
||||||
\DeclareCategory
|
\DeclareCategory
|
||||||
|
|
Loading…
Reference in a new issue