doc: add heading to Centralizer entry

This fixes a reference to `Centralizer` in the xgap manual, and also matches what we do for `Normalizer`
gap-system · Sep 9, 2022 · b576dee · b576dee
1 parent c1009a2
commit b576dee
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/magma.gd b/lib/magma.gd
@@ -703,6 +703,7 @@ DeclareOperation( "IsCentral", [ IsMagma, IsObject ] );
 ##
 ##  <#GAPDoc Label="Centralizer">
 ##  <ManSection>
+##  <Heading>Centralizer</Heading>
 ##  <Oper Name="Centralizer" Arg='M, elm'
 ##   Label="for a magma and an element"/>
 ##  <Oper Name="Centralizer" Arg='M, S'