Skip to content

Commit 61cfa54

Browse files
I found the last reference of monoidcharactertable
1 parent 7cde491 commit 61cfa54

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

doc/z-chap11.xml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -317,9 +317,9 @@
317317
<#Include Label="RegularRepresentationBicharacter">
318318
<#Include Label="RClassBicharacterOfGroupHClass">
319319
<#Include Label="BlockDiagonalMatrixOfCharacterTables">
320-
<#Include Label="MonoidCharacterTable">
320+
<#Include Label="CharacterTable">
321321
<#Include Label="Irr">
322-
<#Include Label="MonoidCartanMatrix">
322+
<#Include Label="CartanMatrix">
323323
<#Include Label="Pims">
324324

325325
</Section>

0 commit comments

Comments
 (0)