Concept mapping of mathcomp

"========== character a ============"
mathcomp.solvable.abelian.html contains: 
 - end :  Q16220058
 - order :  Q2029226
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - generator :  Q227907
 - product :  Q1796457
 - constant :  Q1127670
 - proof :  Q30762
 - sub :  Q438656
 - group :  Q654302
 - p-subgroup :  Q1057919
 - use :  Q1294087
 - base :  Q575724
 - abelian group :  Q181296
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - exist :  Q5420343
 - sequence :  Q133250
 - element :  Q180750
 - generate :  Q5532546
 - relation :  Q230259
 - subgroup :  Q466109
 - n. :  Q27553
 - basis :  Q406248
 - divide :  Q358711
 - cycle :  Q225014
 - theorem :  Q65943
 - prime :  Q49008
 - set :  Q235028
mathcomp.fingroup.action.html contains: 
 - right :  Q780687
 - end :  Q16220058
 - order :  Q2029226
 - action :  Q343542
 - condition :  Q417488
 - structure :  Q6671777
 - range :  Q438399
 - statement :  Q1456029
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - part :  Q414241
 - product :  Q1796457
 - proof :  Q30762
 - sum :  Q407074
 - factor :  Q1393757
 - sub :  Q438656
 - group :  Q654302
 - coset :  Q751969
 - und :  Q234808
 - theory :  Q17737
 - use :  Q1294087
 - respect :  Q28510
 - trivial subgroup :  Q568687
 - limit :  Q246639
 - non :  Q403599
 - side :  Q395237
 - lemma :  Q256570
 - definition :  Q101072
 - permutation :  Q161519
 - subset :  Q177646
 - operator :  Q228588
 - image :  Q478798
 - isomorphism :  Q189112
 - automorphism :  Q782566
 - ring :  Q534381
 - point :  Q4166892
 - subgroup :  Q466109
 - class :  Q3679160
 - n. :  Q27553
 - identity :  Q3791810
 - conjugation :  Q250417
 - iff :  Q949972
 - map :  Q4006
 - function :  Q788331
 - assumption :  Q420391
 - domain :  Q200975
 - set :  Q235028
mathcomp.field.algC.html contains: 
 - algebraic number :  Q168817
 - rational number :  Q1244890
 - assertion :  Q1219840
 - order :  Q2029226
 - converse :  Q240905
 - multiple :  Q3327686
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - part :  Q414241
 - sum :  Q407074
 - sub :  Q438656
 - field :  Q257765
 - component :  Q226635
 - und :  Q234808
 - inverse :  Q224353
 - axiom :  Q17736
 - use :  Q1294087
 - work :  Q188561
 - polynomial :  Q43260
 - real number :  Q12916
 - imaginary part :  Q11567
 - limit :  Q246639
 - non :  Q403599
 - base :  Q575724
 - integer :  Q12503
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - exist :  Q5420343
 - element :  Q180750
 - hint :  Q1206893
 - automorphism :  Q782566
 - unit :  Q1487317
 - square :  Q164
 - interval :  Q233991
 - ring :  Q534381
 - direction :  Q344762
 - number :  Q11563
 - n. :  Q27553
 - conjugation :  Q250417
 - iff :  Q949972
 - square root :  Q134237
 - addition :  Q32043
 - rational :  Q938185
 - theorem :  Q65943
 - conjugate :  Q250417
 - root :  Q41500
 - set :  Q235028
mathcomp.field.algebraics_fundamentals.html contains: 
 - case :  Q229806
 - algebraic number :  Q168817
 - end :  Q16220058
 - coefficient :  Q50700
 - order :  Q2029226
 - condition :  Q417488
 - structure :  Q6671777
 - index :  Q11712088
 - tend :  Q7699562
 - statement :  Q1456029
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - generator :  Q227907
 - part :  Q414241
 - constant :  Q1127670
 - bound :  Q895144
 - proof :  Q30762
 - sum :  Q407074
 - degree :  Q383185
 - fundamental theorem :  Q430271
 - sub :  Q438656
 - group :  Q654302
 - term :  Q3984436
 - field :  Q257765
 - und :  Q234808
 - continuity :  Q382618
 - theory :  Q17737
 - upper bound :  Q13222579
 - induction :  Q211504
 - inverse :  Q224353
 - use :  Q1294087
 - work :  Q188561
 - polynomial :  Q43260
 - ordering :  Q2029226
 - side :  Q395237
 - exist :  Q5420343
 - sylow :  Q320298
 - sequence :  Q133250
 - image :  Q478798
 - element :  Q180750
 - closure :  Q256472
 - result :  Q2995644
 - generate :  Q5532546
 - automorphism :  Q782566
 - complex field :  Q11567
 - interval :  Q233991
 - ring :  Q534381
 - union :  Q227388
 - preimage :  Q860623
 - subgroup :  Q466109
 - number :  Q11563
 - n. :  Q27553
 - conjugation :  Q250417
 - extension :  Q295785
 - subfield :  Q17989667
 - complex number :  Q11567
 - map :  Q4006
 - rational :  Q938185
 - theorem :  Q65943
 - prime :  Q49008
 - yield :  Q596465
 - root :  Q41500
 - set :  Q235028
mathcomp.field.algnum.html contains: 
 - end :  Q16220058
 - coefficient :  Q50700
 - order :  Q2029226
 - combination :  Q202805
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - primitive root :  Q7243585
 - field :  Q257765
 - und :  Q234808
 - theory :  Q17737
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - polynomial :  Q43260
 - corollary :  Q1343870
 - linear combination :  Q27628
 - limit :  Q246639
 - integer :  Q12503
 - integral :  Q80091
 - lemma :  Q256570
 - exist :  Q5420343
 - element :  Q180750
 - result :  Q2995644
 - generate :  Q5532546
 - automorphism :  Q782566
 - unit :  Q1487317
 - number :  Q11563
 - class :  Q3679160
 - n. :  Q27553
 - extension :  Q295785
 - ideal :  Q224884
 - force :  Q11402
 - divide :  Q358711
 - extended :  Q295785
 - addition :  Q32043
 - rational :  Q938185
 - span :  Q416974
 - theorem :  Q65943
 - root :  Q41500
 - set :  Q235028
 - principle :  Q211364
mathcomp.solvable.alt.html contains: 
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - group :  Q654302
 - metric :  Q235660
 - definition :  Q101072
 - symmetric group :  Q849512
 - set :  Q235028
mathcomp.fingroup.automorphism.html contains: 
 - end :  Q16220058
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - sub :  Q438656
 - group :  Q654302
 - und :  Q234808
 - use :  Q1294087
 - respect :  Q28510
 - non :  Q403599
 - side :  Q395237
 - definition :  Q101072
 - permutation :  Q161519
 - subset :  Q177646
 - element :  Q180750
 - closure :  Q256472
 - homomorphism :  Q215111
 - law :  Q7748
 - characteristic subgroup :  Q747027
 - automorphism :  Q782566
 - relation :  Q230259
 - subgroup :  Q466109
 - identity :  Q3791810
 - conjugation :  Q250417
 - map :  Q4006
 - function :  Q788331
 - domain :  Q200975
 - set :  Q235028
"========== character b ============"
mathcomp.ssreflect.bigop.html contains: 
 - case :  Q229806
 - end :  Q16220058
 - condition :  Q417488
 - structure :  Q6671777
 - index :  Q11712088
 - range :  Q438399
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - reference :  Q121769
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - natural number :  Q21199
 - fact :  Q188572
 - constant :  Q1127670
 - bound :  Q895144
 - proof :  Q30762
 - test :  Q224615
 - sum :  Q407074
 - split :  Q233272
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - term :  Q3984436
 - und :  Q234808
 - theory :  Q17737
 - congruence :  Q299600
 - finite :  Q11516722
 - equation :  Q11345
 - induction :  Q211504
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - turn :  Q411785
 - non :  Q403599
 - integer :  Q12503
 - property :  Q6422240
 - side :  Q395237
 - matrix :  Q190069
 - lemma :  Q256570
 - definition :  Q101072
 - permutation :  Q161519
 - subset :  Q177646
 - way :  Q414987
 - sequence :  Q133250
 - operator :  Q228588
 - image :  Q478798
 - element :  Q180750
 - result :  Q2995644
 - projection :  Q6502279
 - law :  Q7748
 - unit :  Q1487317
 - ring :  Q534381
 - choice :  Q1775867
 - number :  Q11563
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - identity :  Q3791810
 - extension :  Q295785
 - zero :  Q204
 - example :  Q29864097
 - function :  Q788331
 - set :  Q235028
 - principle :  Q211364
mathcomp.ssreflect.binomial.html contains: 
 - right :  Q780687
 - coefficient :  Q50700
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - product :  Q1796457
 - proof :  Q30762
 - sum :  Q407074
 - factor :  Q1393757
 - term :  Q3984436
 - diagonal :  Q189791
 - definition :  Q101072
 - result :  Q2995644
 - triangle :  Q19821
 - example :  Q29864097
 - addition :  Q32043
 - function :  Q788331
mathcomp.solvable.burnside_app.html contains: 
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - side :  Q395237
 - cube :  Q812880
 - square :  Q164
 - ring :  Q534381
 - number :  Q11563
 - formula :  Q976981
"========== character c ============"
mathcomp.solvable.center.html contains: 
 - condition :  Q417488
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - product :  Q1796457
 - test :  Q224615
 - sum :  Q407074
 - sub :  Q438656
 - group :  Q654302
 - uniqueness :  Q24962672
 - und :  Q234808
 - use :  Q1294087
 - definition :  Q101072
 - subset :  Q177646
 - isomorphism :  Q189112
 - characteristic subgroup :  Q747027
 - subgroup :  Q466109
 - pair :  Q415963
 - n. :  Q27553
 - center :  Q62207
 - example :  Q29864097
 - map :  Q4006
 - theorem :  Q65943
 - assumption :  Q420391
 - set :  Q235028
mathcomp.character.character.html contains: 
 - order :  Q2029226
 - structure :  Q6671777
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - part :  Q414241
 - proof :  Q30762
 - degree :  Q383185
 - group :  Q654302
 - term :  Q3984436
 - representation :  Q249614
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - inverse :  Q224353
 - value :  Q5189153
 - use :  Q1294087
 - corollary :  Q1343870
 - non :  Q403599
 - base :  Q575724
 - matrix :  Q190069
 - lemma :  Q256570
 - image :  Q478798
 - element :  Q180750
 - result :  Q2995644
 - square :  Q164
 - ring :  Q534381
 - relation :  Q230259
 - number :  Q11563
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - zero :  Q204
 - basis :  Q406248
 - center :  Q62207
 - theorem :  Q65943
 - set :  Q235028
mathcomp.ssreflect.choice.html contains: 
 - case :  Q229806
 - end :  Q16220058
 - structure :  Q6671777
 - cancellation :  Q331693
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - part :  Q414241
 - sum :  Q407074
 - factor :  Q1393757
 - sub :  Q438656
 - instance :  Q437448
 - bijection :  Q180907
 - representation :  Q249614
 - und :  Q234808
 - theory :  Q17737
 - power :  Q398902
 - inverse :  Q224353
 - value :  Q5189153
 - axiom :  Q17736
 - use :  Q1294087
 - limit :  Q246639
 - non :  Q403599
 - base :  Q575724
 - integer :  Q12503
 - lemma :  Q256570
 - definition :  Q101072
 - way :  Q414987
 - exist :  Q5420343
 - codomain :  Q199006
 - equality :  Q28022790
 - sequence :  Q133250
 - operator :  Q228588
 - element :  Q180750
 - unit :  Q1487317
 - choice :  Q1775867
 - class :  Q3679160
 - list :  Q162032
 - pair :  Q415963
 - extension :  Q295785
 - iff :  Q949972
 - example :  Q29864097
 - addition :  Q32043
 - function :  Q788331
 - domain :  Q200975
 - choice function :  Q2513496
mathcomp.character.classfun.html contains: 
 - text :  Q1689278
 - case :  Q229806
 - order :  Q2029226
 - condition :  Q417488
 - cancellation :  Q331693
 - range :  Q438399
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - vector space :  Q125977
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - space :  Q107
 - product :  Q1796457
 - dimension :  Q4440864
 - constant :  Q1127670
 - bound :  Q895144
 - mapping :  Q358007
 - reciprocity :  Q1350049
 - sub :  Q438656
 - group :  Q654302
 - self :  Q3236990
 - term :  Q3984436
 - field :  Q257765
 - coset :  Q751969
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - expansion :  Q253338
 - finite :  Q11516722
 - vector :  Q451968
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - non :  Q403599
 - side :  Q395237
 - lemma :  Q256570
 - pairwise :  Q7125151
 - subset :  Q177646
 - equality :  Q28022790
 - sequence :  Q133250
 - image :  Q478798
 - result :  Q2995644
 - projection :  Q6502279
 - isometry :  Q740207
 - generate :  Q5532546
 - kernel :  Q202400
 - automorphism :  Q782566
 - square :  Q164
 - class :  Q3679160
 - pair :  Q415963
 - n. :  Q27553
 - identity :  Q3791810
 - conjugation :  Q250417
 - iff :  Q949972
 - zero :  Q204
 - map :  Q4006
 - function :  Q788331
 - prime :  Q49008
 - domain :  Q200975
 - conjugate :  Q250417
 - set :  Q235028
mathcomp.field.closed_field.html contains: 
 - coefficient :  Q50700
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - part :  Q414241
 - proof :  Q30762
 - factor :  Q1393757
 - instance :  Q437448
 - field :  Q257765
 - theory :  Q17737
 - polynomial :  Q43260
 - closure :  Q256472
 - n. :  Q27553
 - extension :  Q295785
 - theorem :  Q65943
mathcomp.solvable.commutator.html contains: 
 - end :  Q16220058
 - series :  Q2917506
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - proof :  Q30762
 - sub :  Q438656
 - group :  Q654302
 - exercise :  Q219067
 - use :  Q1294087
 - respect :  Q28510
 - equivalence :  Q235935
 - theoretic :  Q17737
 - side :  Q395237
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - result :  Q2995644
 - point :  Q4166892
 - subgroup :  Q466109
 - class :  Q3679160
 - n. :  Q27553
 - identity :  Q3791810
 - set :  Q235028
mathcomp.algebra.countalg.html contains: 
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - part :  Q414241
 - field :  Q257765
 - closure :  Q256472
 - unit :  Q1487317
 - ring :  Q534381
 - extension :  Q295785
 - domain :  Q200975
mathcomp.solvable.cyclic.html contains: 
 - totient :  Q190026
 - end :  Q16220058
 - order :  Q2029226
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - generator :  Q227907
 - product :  Q1796457
 - mapping :  Q358007
 - proof :  Q30762
 - sub :  Q438656
 - group :  Q654302
 - bijection :  Q180907
 - field :  Q257765
 - finite :  Q11516722
 - cyclic group :  Q245462
 - inverse :  Q224353
 - integer :  Q12503
 - property :  Q6422240
 - definition :  Q101072
 - image :  Q478798
 - isomorphism :  Q189112
 - result :  Q2995644
 - generate :  Q5532546
 - automorphism :  Q782566
 - unit :  Q1487317
 - ring :  Q534381
 - subgroup :  Q466109
 - class :  Q3679160
 - extension :  Q295785
 - map :  Q4006
 - function :  Q788331
 - cycle :  Q225014
 - theorem :  Q65943
 - prime :  Q49008
 - domain :  Q200975
mathcomp.field.cyclotomic.html contains: 
 - end :  Q16220058
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - part :  Q414241
 - primitive root :  Q7243585
 - factor :  Q1393757
 - polynomial :  Q43260
 - limit :  Q246639
 - integral :  Q80091
 - unit :  Q1487317
 - ring :  Q534381
 - extended :  Q295785
 - root :  Q41500
"========== character d ============"
mathcomp.ssreflect.div.html contains: 
 - end :  Q16220058
 - coefficient :  Q50700
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - natural number :  Q21199
 - fact :  Q188572
 - factor :  Q1393757
 - modulo :  Q411185
 - problem :  Q730920
 - definition :  Q101072
 - prime factor :  Q49008
 - operator :  Q228588
 - number :  Q11563
 - remainder :  Q846677
 - pair :  Q415963
 - n. :  Q27553
 - iff :  Q949972
 - divide :  Q358711
 - extended :  Q295785
 - function :  Q788331
 - theorem :  Q65943
 - prime :  Q49008
"========== character e ============"
mathcomp.ssreflect.eqtype.html contains: 
 - case :  Q229806
 - none :  Q395712
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - part :  Q414241
 - constant :  Q1127670
 - proof :  Q30762
 - test :  Q224615
 - sum :  Q407074
 - factor :  Q1393757
 - sub :  Q438656
 - instance :  Q437448
 - diverge :  Q226703
 - finite :  Q11516722
 - inverse :  Q224353
 - value :  Q5189153
 - axiom :  Q17736
 - use :  Q1294087
 - work :  Q188561
 - limit :  Q246639
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - property :  Q6422240
 - inherit :  Q16797633
 - lemma :  Q256570
 - definition :  Q101072
 - equality :  Q28022790
 - image :  Q478798
 - element :  Q180750
 - projection :  Q6502279
 - generate :  Q5532546
 - unit :  Q1487317
 - procedure :  Q14167404
 - relation :  Q230259
 - point :  Q4166892
 - choice :  Q1775867
 - class :  Q3679160
 - list :  Q162032
 - pair :  Q415963
 - n. :  Q27553
 - extension :  Q295785
 - iff :  Q949972
 - comparison :  Q1720648
 - hand :  Q33767
 - example :  Q29864097
 - map :  Q4006
 - function :  Q788331
mathcomp.solvable.extraspecial.html contains: 
 - text :  Q1689278
 - case :  Q229806
 - end :  Q16220058
 - order :  Q2029226
 - condition :  Q417488
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - space :  Q107
 - part :  Q414241
 - product :  Q1796457
 - proof :  Q30762
 - sub :  Q438656
 - group :  Q654302
 - term :  Q3984436
 - uniqueness :  Q24962672
 - und :  Q234808
 - theory :  Q17737
 - quadratic :  Q7268350
 - exercise :  Q219067
 - use :  Q1294087
 - non :  Q403599
 - lemma :  Q256570
 - exist :  Q5420343
 - element :  Q180750
 - isomorphism :  Q189112
 - remark :  Q1496085
 - subgroup :  Q466109
 - class :  Q3679160
 - n. :  Q27553
 - prime :  Q49008
 - set :  Q235028
mathcomp.solvable.extremal.html contains: 
 - text :  Q1689278
 - case :  Q229806
 - order :  Q2029226
 - condition :  Q417488
 - structure :  Q6671777
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - fact :  Q188572
 - generator :  Q227907
 - part :  Q414241
 - product :  Q1796457
 - proof :  Q30762
 - time :  Q11471
 - sum :  Q407074
 - sub :  Q438656
 - group :  Q654302
 - und :  Q234808
 - exercise :  Q219067
 - use :  Q1294087
 - work :  Q188561
 - non :  Q403599
 - base :  Q575724
 - definition :  Q101072
 - isomorphism :  Q189112
 - generate :  Q5532546
 - complement :  Q19924622
 - choice :  Q1775867
 - subgroup :  Q466109
 - class :  Q3679160
 - n. :  Q27553
 - formula :  Q976981
 - function :  Q788331
 - cycle :  Q225014
 - theorem :  Q65943
 - prime :  Q49008
 - cardinality :  Q4049983
 - assumption :  Q420391
 - set :  Q235028
"========== character f ============"
mathcomp.field.falgebra.html contains: 
 - end :  Q16220058
 - converse :  Q240905
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - space :  Q107
 - product :  Q1796457
 - dimension :  Q4440864
 - time :  Q11471
 - sub :  Q438656
 - instance :  Q437448
 - field :  Q257765
 - und :  Q234808
 - finite :  Q11516722
 - identity element :  Q185813
 - vector :  Q451968
 - inverse :  Q224353
 - use :  Q1294087
 - non :  Q403599
 - base :  Q575724
 - inherit :  Q16797633
 - side :  Q395237
 - exist :  Q5420343
 - element :  Q180750
 - homomorphism :  Q215111
 - generate :  Q5532546
 - unit :  Q1487317
 - ring :  Q534381
 - class :  Q3679160
 - n. :  Q27553
 - identity :  Q3791810
 - center :  Q62207
 - decomposition :  Q339062
 - addition :  Q32043
 - span :  Q416974
 - function :  Q788331
 - finite dimensional :  Q929302
mathcomp.field.fieldext.html contains: 
 - finite field :  Q603880
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - structure :  Q6671777
 - range :  Q438399
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - reference :  Q121769
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - generator :  Q227907
 - space :  Q107
 - product :  Q1796457
 - dimension :  Q4440864
 - proof :  Q30762
 - degree :  Q383185
 - sub :  Q438656
 - instance :  Q437448
 - term :  Q3984436
 - field :  Q257765
 - diverge :  Q226703
 - und :  Q234808
 - exercise :  Q219067
 - finite :  Q11516722
 - vector :  Q451968
 - value :  Q5189153
 - axiom :  Q17736
 - use :  Q1294087
 - polynomial :  Q43260
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - lemma :  Q256570
 - way :  Q414987
 - exist :  Q5420343
 - image :  Q478798
 - process :  Q229289
 - intersection :  Q17141489
 - kernel :  Q202400
 - unit :  Q1487317
 - ring :  Q534381
 - class :  Q3679160
 - n. :  Q27553
 - extension :  Q295785
 - intersect :  Q1180277
 - subfield :  Q17989667
 - iff :  Q949972
 - zero :  Q204
 - hand :  Q33767
 - map :  Q4006
 - addition :  Q32043
 - prime :  Q49008
 - finite dimensional :  Q929302
 - root :  Q41500
 - set :  Q235028
mathcomp.algebra.finalg.html contains: 
 - right :  Q780687
 - multiplication :  Q40276
 - action :  Q343542
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - finite group :  Q1057968
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - part :  Q414241
 - group :  Q654302
 - field :  Q257765
 - theory :  Q17737
 - finite :  Q11516722
 - non :  Q403599
 - operator :  Q228588
 - element :  Q180750
 - unit :  Q1487317
 - ring :  Q534381
 - n. :  Q27553
 - function :  Q788331
 - set :  Q235028
mathcomp.field.finfield.html contains: 
 - finite field :  Q603880
 - end :  Q16220058
 - order :  Q2029226
 - structure :  Q6671777
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - space :  Q107
 - part :  Q414241
 - proof :  Q30762
 - time :  Q11471
 - split :  Q233272
 - sub :  Q438656
 - instance :  Q437448
 - term :  Q3984436
 - field :  Q257765
 - und :  Q234808
 - power :  Q398902
 - finite :  Q11516722
 - vector :  Q451968
 - axiom :  Q17736
 - use :  Q1294087
 - polynomial :  Q43260
 - non :  Q403599
 - integral :  Q80091
 - side :  Q395237
 - exist :  Q5420343
 - result :  Q2995644
 - unit :  Q1487317
 - ring :  Q534381
 - number :  Q11563
 - pair :  Q415963
 - n. :  Q27553
 - splitting field :  Q1996100
 - extension :  Q295785
 - comparison :  Q1720648
 - divide :  Q358711
 - map :  Q4006
 - addition :  Q32043
 - theorem :  Q65943
 - prime :  Q49008
 - domain :  Q200975
 - yield :  Q596465
mathcomp.ssreflect.finfun.html contains: 
 - case :  Q229806
 - end :  Q16220058
 - family :  Q8436
 - structure :  Q6671777
 - range :  Q438399
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - operation :  Q209577
 - space :  Q107
 - part :  Q414241
 - product :  Q1796457
 - proof :  Q30762
 - sum :  Q407074
 - sub :  Q438656
 - und :  Q234808
 - finite :  Q11516722
 - value :  Q5189153
 - use :  Q1294087
 - limit :  Q246639
 - non :  Q403599
 - inherit :  Q16797633
 - subset :  Q177646
 - way :  Q414987
 - equality :  Q28022790
 - image :  Q478798
 - element :  Q180750
 - point :  Q4166892
 - choice :  Q1775867
 - list :  Q162032
 - pair :  Q415963
 - n. :  Q27553
 - extension :  Q295785
 - example :  Q29864097
 - addition :  Q32043
 - function :  Q788331
 - domain :  Q200975
 - set :  Q235028
mathcomp.ssreflect.fingraph.html contains: 
 - end :  Q16220058
 - order :  Q2029226
 - index :  Q11712088
 - equivalence relation :  Q130998
 - statement :  Q1456029
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - natural number :  Q21199
 - part :  Q414241
 - equivalence class :  Q1211071
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - metric :  Q235660
 - finite :  Q11516722
 - inverse :  Q224353
 - use :  Q1294087
 - equivalence :  Q235935
 - implication :  Q1215266
 - side :  Q395237
 - lemma :  Q256570
 - exist :  Q5420343
 - codomain :  Q199006
 - image :  Q478798
 - element :  Q180750
 - closure :  Q256472
 - relation :  Q230259
 - point :  Q4166892
 - number :  Q11563
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - iff :  Q949972
 - example :  Q29864097
 - cycle :  Q225014
 - domain :  Q200975
 - root :  Q41500
 - set :  Q235028
mathcomp.fingroup.fingroup.html contains: 
 - text :  Q1689278
 - right :  Q780687
 - case :  Q229806
 - normal subgroup :  Q743179
 - end :  Q16220058
 - order :  Q2029226
 - multiplication :  Q40276
 - action :  Q343542
 - structure :  Q6671777
 - index :  Q11712088
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - finite group :  Q1057968
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - generator :  Q227907
 - space :  Q107
 - product :  Q1796457
 - bound :  Q895144
 - proof :  Q30762
 - time :  Q11471
 - sum :  Q407074
 - split :  Q233272
 - algorithm :  Q8366
 - sub :  Q438656
 - group :  Q654302
 - coset :  Q751969
 - und :  Q234808
 - theory :  Q17737
 - power :  Q398902
 - expansion :  Q253338
 - finite :  Q11516722
 - cyclic group :  Q245462
 - equation :  Q11345
 - commute :  Q236729
 - identity element :  Q185813
 - inverse :  Q224353
 - axiom :  Q17736
 - use :  Q1294087
 - work :  Q188561
 - limit :  Q246639
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - property :  Q6422240
 - side :  Q395237
 - lemma :  Q256570
 - cyclic subgroup :  Q734209
 - inclusion :  Q341771
 - definition :  Q101072
 - ball :  Q18545
 - subset :  Q177646
 - exist :  Q5420343
 - operator :  Q228588
 - element :  Q180750
 - result :  Q2995644
 - projection :  Q6502279
 - generate :  Q5532546
 - complement :  Q19924622
 - law :  Q7748
 - infinite :  Q2574205
 - unit :  Q1487317
 - ring :  Q534381
 - point :  Q4166892
 - subgroup :  Q466109
 - class :  Q3679160
 - n. :  Q27553
 - identity :  Q3791810
 - conjugation :  Q250417
 - iff :  Q949972
 - map :  Q4006
 - addition :  Q32043
 - function :  Q788331
 - cycle :  Q225014
 - conjugate :  Q250417
 - group element :  Q108307
 - set :  Q235028
mathcomp.solvable.finmodule.html contains: 
 - case :  Q229806
 - converse :  Q240905
 - action :  Q343542
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - part :  Q414241
 - mapping :  Q358007
 - proof :  Q30762
 - sum :  Q407074
 - factor :  Q1393757
 - split :  Q233272
 - sub :  Q438656
 - group :  Q654302
 - bijection :  Q180907
 - representation :  Q249614
 - coset :  Q751969
 - und :  Q234808
 - theory :  Q17737
 - expansion :  Q253338
 - finite :  Q11516722
 - use :  Q1294087
 - base :  Q575724
 - side :  Q395237
 - abelian group :  Q181296
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - element :  Q180750
 - result :  Q2995644
 - intersection :  Q17141489
 - projection :  Q6502279
 - homomorphism :  Q215111
 - complement :  Q19924622
 - ring :  Q534381
 - subgroup :  Q466109
 - n. :  Q27553
 - intersect :  Q1180277
 - map :  Q4006
 - function :  Q788331
 - cycle :  Q225014
 - theorem :  Q65943
 - prime :  Q49008
 - assumption :  Q420391
 - yield :  Q596465
 - set :  Q235028
mathcomp.ssreflect.finset.html contains: 
 - right :  Q780687
 - disjoint :  Q338707
 - end :  Q16220058
 - order :  Q2029226
 - structure :  Q6671777
 - equivalence relation :  Q130998
 - range :  Q438399
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - difference :  Q11164407
 - part :  Q414241
 - bound :  Q895144
 - time :  Q11471
 - test :  Q224615
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - self :  Q3236990
 - diverge :  Q226703
 - coset :  Q751969
 - und :  Q234808
 - power :  Q398902
 - finite :  Q11516722
 - value :  Q5189153
 - use :  Q1294087
 - respect :  Q28510
 - equivalence :  Q235935
 - limit :  Q246639
 - non :  Q403599
 - base :  Q575724
 - side :  Q395237
 - lemma :  Q256570
 - pairwise :  Q7125151
 - inclusion :  Q341771
 - subset :  Q177646
 - sequence :  Q133250
 - image :  Q478798
 - element :  Q180750
 - process :  Q229289
 - intersection :  Q17141489
 - empty set :  Q226183
 - complement :  Q19924622
 - ring :  Q534381
 - relation :  Q230259
 - point :  Q4166892
 - union :  Q227388
 - preimage :  Q860623
 - number :  Q11563
 - pair :  Q415963
 - n. :  Q27553
 - extension :  Q295785
 - intersect :  Q1180277
 - iff :  Q949972
 - hand :  Q33767
 - addition :  Q32043
 - span :  Q416974
 - function :  Q788331
 - set :  Q235028
mathcomp.ssreflect.fintype.html contains: 
 - text :  Q1689278
 - disjoint :  Q338707
 - end :  Q16220058
 - converse :  Q240905
 - none :  Q395712
 - condition :  Q417488
 - structure :  Q6671777
 - range :  Q438399
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - part :  Q414241
 - product :  Q1796457
 - bound :  Q895144
 - test :  Q224615
 - sum :  Q407074
 - split :  Q233272
 - algorithm :  Q8366
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - bijection :  Q180907
 - term :  Q3984436
 - diverge :  Q226703
 - und :  Q234808
 - finite :  Q11516722
 - length :  Q36253
 - computation :  Q12525525
 - value :  Q5189153
 - axiom :  Q17736
 - use :  Q1294087
 - work :  Q188561
 - limit :  Q246639
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - integer :  Q12503
 - side :  Q395237
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - exist :  Q5420343
 - codomain :  Q199006
 - equality :  Q28022790
 - sequence :  Q133250
 - image :  Q478798
 - element :  Q180750
 - result :  Q2995644
 - complement :  Q19924622
 - unit :  Q1487317
 - choice :  Q1775867
 - number :  Q11563
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - conclusion :  Q1399174
 - comparison :  Q1720648
 - span :  Q416974
 - function :  Q788331
 - prime :  Q49008
 - domain :  Q200975
 - yield :  Q596465
 - set :  Q235028
mathcomp.algebra.fraction.html contains: 
 - action :  Q343542
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - test :  Q224615
 - group :  Q654302
 - field :  Q257765
 - equivalence :  Q235935
 - non :  Q403599
 - integral :  Q80091
 - abelian group :  Q181296
 - commutative ring :  Q858656
 - exist :  Q5420343
 - result :  Q2995644
 - unit :  Q1487317
 - fraction :  Q1109871
 - ring :  Q534381
 - relation :  Q230259
 - pair :  Q415963
 - n. :  Q27553
 - zero :  Q204
 - function :  Q788331
 - nonzero :  Q7049087
 - domain :  Q200975
mathcomp.solvable.frobenius.html contains: 
 - disjoint :  Q338707
 - none :  Q395712
 - action :  Q343542
 - condition :  Q417488
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - fact :  Q188572
 - product :  Q1796457
 - solution :  Q5447188
 - proof :  Q30762
 - test :  Q224615
 - sub :  Q438656
 - group :  Q654302
 - self :  Q3236990
 - theory :  Q17737
 - metric :  Q235660
 - commute :  Q236729
 - non :  Q403599
 - definition :  Q101072
 - permutation :  Q161519
 - exist :  Q5420343
 - equality :  Q28022790
 - element :  Q180750
 - nonempty :  Q226183
 - isomorphism :  Q189112
 - result :  Q2995644
 - complement :  Q19924622
 - kernel :  Q202400
 - point :  Q4166892
 - subgroup :  Q466109
 - number :  Q11563
 - class :  Q3679160
 - n. :  Q27553
 - theorem :  Q65943
 - prime :  Q49008
 - conjugate :  Q250417
 - set :  Q235028
"========== character g ============"
mathcomp.field.galois.html contains: 
 - end :  Q16220058
 - structure :  Q6671777
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - operation :  Q209577
 - fact :  Q188572
 - proof :  Q30762
 - sum :  Q407074
 - factor :  Q1393757
 - split :  Q233272
 - sub :  Q438656
 - group :  Q654302
 - field :  Q257765
 - und :  Q234808
 - theory :  Q17737
 - axiom :  Q17736
 - modulo :  Q411185
 - use :  Q1294087
 - polynomial :  Q43260
 - base :  Q575724
 - lemma :  Q256570
 - element :  Q180750
 - linear factor :  Q15854269
 - generate :  Q5532546
 - automorphism :  Q782566
 - ring :  Q534381
 - point :  Q4166892
 - class :  Q3679160
 - n. :  Q27553
 - splitting field :  Q1996100
 - extension :  Q295785
 - subfield :  Q17989667
 - map :  Q4006
 - root :  Q41500
 - set :  Q235028
mathcomp.ssreflect.generic_quotient.html contains: 
 - text :  Q1689278
 - case :  Q229806
 - covering :  Q5179248
 - structure :  Q6671777
 - equivalence relation :  Q130998
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - reference :  Q121769
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - constant :  Q1127670
 - factor :  Q1393757
 - sub :  Q438656
 - term :  Q3984436
 - theory :  Q17737
 - modulo :  Q411185
 - use :  Q1294087
 - equivalence :  Q235935
 - limit :  Q246639
 - non :  Q403599
 - base :  Q575724
 - property :  Q6422240
 - lemma :  Q256570
 - definition :  Q101072
 - exist :  Q5420343
 - element :  Q180750
 - result :  Q2995644
 - ring :  Q534381
 - relation :  Q230259
 - choice :  Q1775867
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - function :  Q788331
mathcomp.solvable.gfunctor.html contains: 
 - order :  Q2029226
 - series :  Q2917506
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - finite group :  Q1057968
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - operation :  Q209577
 - part :  Q414241
 - bound :  Q895144
 - proof :  Q30762
 - sub :  Q438656
 - group :  Q654302
 - self :  Q3236990
 - und :  Q234808
 - continuity :  Q382618
 - theory :  Q17737
 - finite :  Q11516722
 - value :  Q5189153
 - modulo :  Q411185
 - use :  Q1294087
 - respect :  Q28510
 - limit :  Q246639
 - non :  Q403599
 - continuous map :  Q170058
 - inherit :  Q16797633
 - lemma :  Q256570
 - inclusion :  Q341771
 - definition :  Q101072
 - exist :  Q5420343
 - image :  Q478798
 - isomorphism :  Q189112
 - closure :  Q256472
 - intersection :  Q17141489
 - characteristic subgroup :  Q747027
 - subgroup :  Q466109
 - identity :  Q3791810
 - intersect :  Q1180277
 - iff :  Q949972
 - center :  Q62207
 - example :  Q29864097
 - map :  Q4006
 - function :  Q788331
 - set :  Q235028
mathcomp.fingroup.gproduct.html contains: 
 - right :  Q780687
 - disjoint :  Q338707
 - end :  Q16220058
 - action :  Q343542
 - structure :  Q6671777
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - operation :  Q209577
 - part :  Q414241
 - product :  Q1796457
 - split :  Q233272
 - sub :  Q438656
 - group :  Q654302
 - subset :  Q177646
 - element :  Q180750
 - isomorphism :  Q189112
 - intersection :  Q17141489
 - empty set :  Q226183
 - complement :  Q19924622
 - remainder :  Q846677
 - pair :  Q415963
 - intersect :  Q1180277
 - iff :  Q949972
 - center :  Q62207
 - function :  Q788331
 - set :  Q235028
mathcomp.solvable.gseries.html contains: 
 - text :  Q1689278
 - series :  Q2917506
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - factor :  Q1393757
 - sub :  Q438656
 - group :  Q654302
 - proper subgroup :  Q466109
 - non :  Q403599
 - pairwise :  Q7125151
 - sequence :  Q133250
 - projection :  Q6502279
 - relation :  Q230259
 - subgroup :  Q466109
 - pair :  Q415963
 - n. :  Q27553
 - iff :  Q949972
 - example :  Q29864097
 - set :  Q235028
"========== character h ============"
mathcomp.solvable.hall.html contains: 
 - text :  Q1689278
 - case :  Q229806
 - order :  Q2029226
 - action :  Q343542
 - condition :  Q417488
 - range :  Q438399
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - fact :  Q188572
 - part :  Q414241
 - proof :  Q30762
 - time :  Q11471
 - sum :  Q407074
 - factor :  Q1393757
 - split :  Q233272
 - sub :  Q438656
 - group :  Q654302
 - sylow subgroup :  Q1057919
 - und :  Q234808
 - theory :  Q17737
 - use :  Q1294087
 - lemma :  Q256570
 - subset :  Q177646
 - sylow :  Q320298
 - sequence :  Q133250
 - complement :  Q19924622
 - subgroup :  Q466109
 - n. :  Q27553
 - conjugation :  Q250417
 - theorem :  Q65943
 - prime :  Q49008
 - assumption :  Q420391
 - set :  Q235028
"========== character i ============"
mathcomp.character.inertia.html contains: 
 - end :  Q16220058
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - mapping :  Q358007
 - sum :  Q407074
 - group :  Q654302
 - und :  Q234808
 - use :  Q1294087
 - corollary :  Q1343870
 - property :  Q6422240
 - lemma :  Q256570
 - definition :  Q101072
 - sequence :  Q133250
 - image :  Q478798
 - class :  Q3679160
 - n. :  Q27553
 - map :  Q4006
 - function :  Q788331
 - theorem :  Q65943
 - assumption :  Q420391
 - conjugate :  Q250417
 - set :  Q235028
mathcomp.algebra.intdiv.html contains: 
 - end :  Q16220058
 - coefficient :  Q50700
 - combination :  Q202805
 - multiple :  Q3327686
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - vector space :  Q125977
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - fact :  Q188572
 - space :  Q107
 - part :  Q414241
 - solution :  Q5447188
 - test :  Q224615
 - common divisor :  Q131752
 - factor :  Q1393757
 - coset :  Q751969
 - vector :  Q451968
 - problem :  Q730920
 - linear combination :  Q27628
 - non :  Q403599
 - integer :  Q12503
 - property :  Q6422240
 - integral :  Q80091
 - lemma :  Q256570
 - prime factor :  Q49008
 - exist :  Q5420343
 - element :  Q180750
 - result :  Q2995644
 - divisor :  Q50708
 - remainder :  Q846677
 - pair :  Q415963
 - n. :  Q27553
 - euclidean domain :  Q867345
 - ideal :  Q224884
 - zero :  Q204
 - divide :  Q358711
 - span :  Q416974
 - function :  Q788331
 - theorem :  Q65943
 - prime :  Q49008
 - domain :  Q200975
 - set :  Q235028
mathcomp.algebra.interval.html contains: 
 - right :  Q780687
 - case :  Q229806
 - order :  Q2029226
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - reference :  Q121769
 - p :  Q9946
 - form :  Q1235072
 - part :  Q414241
 - bound :  Q895144
 - test :  Q224615
 - hypothesis :  Q41719
 - sub :  Q438656
 - field :  Q257765
 - und :  Q234808
 - theory :  Q17737
 - use :  Q1294087
 - respect :  Q28510
 - problem :  Q730920
 - ordering :  Q2029226
 - side :  Q395237
 - lemma :  Q256570
 - inclusion :  Q341771
 - subset :  Q177646
 - intersection :  Q17141489
 - interval :  Q233991
 - ring :  Q534381
 - relation :  Q230259
 - point :  Q4166892
 - remark :  Q1496085
 - pair :  Q415963
 - n. :  Q27553
 - intersect :  Q1180277
 - comparison :  Q1720648
 - example :  Q29864097
 - domain :  Q200975
 - set :  Q235028
"========== character j ============"
mathcomp.solvable.jordanholder.html contains: 
 - normal subgroup :  Q743179
 - action :  Q343542
 - series :  Q2917506
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - finite group :  Q1057968
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - factor :  Q1393757
 - sub :  Q438656
 - group :  Q654302
 - uniqueness :  Q24962672
 - finite :  Q11516722
 - use :  Q1294087
 - respect :  Q28510
 - non :  Q403599
 - lemma :  Q256570
 - permutation :  Q161519
 - sequence :  Q133250
 - element :  Q180750
 - isomorphism :  Q189112
 - result :  Q2995644
 - subgroup :  Q466109
 - class :  Q3679160
 - list :  Q162032
 - pair :  Q415963
 - n. :  Q27553
 - theorem :  Q65943
"========== character k ============"
"========== character l ============"
"========== character m ============"
mathcomp.algebra.matrix.html contains: 
 - text :  Q1689278
 - right :  Q780687
 - scalar :  Q2291395
 - end :  Q16220058
 - coefficient :  Q50700
 - order :  Q2029226
 - converse :  Q240905
 - multiplication :  Q40276
 - condition :  Q417488
 - structure :  Q6671777
 - index :  Q11712088
 - range :  Q438399
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - vector space :  Q125977
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - space :  Q107
 - part :  Q414241
 - product :  Q1796457
 - dimension :  Q4440864
 - constant :  Q1127670
 - bound :  Q895144
 - proof :  Q30762
 - sum :  Q407074
 - factor :  Q1393757
 - algorithm :  Q8366
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - bijection :  Q180907
 - self :  Q3236990
 - term :  Q3984436
 - field :  Q257765
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - diagonal matrix :  Q332791
 - metric :  Q235660
 - expansion :  Q253338
 - finite :  Q11516722
 - equation :  Q11345
 - vector :  Q451968
 - inverse :  Q224353
 - use :  Q1294087
 - work :  Q188561
 - associativity :  Q177251
 - limit :  Q246639
 - non :  Q403599
 - property :  Q6422240
 - inherit :  Q16797633
 - matrix :  Q190069
 - lemma :  Q256570
 - commutative ring :  Q858656
 - diagonal :  Q189791
 - definition :  Q101072
 - permutation :  Q161519
 - subset :  Q177646
 - image :  Q478798
 - transpose :  Q223683
 - result :  Q2995644
 - complement :  Q19924622
 - law :  Q7748
 - unit :  Q1487317
 - square :  Q164
 - ring :  Q534381
 - direction :  Q344762
 - point :  Q4166892
 - choice :  Q1775867
 - class :  Q3679160
 - list :  Q162032
 - pair :  Q415963
 - n. :  Q27553
 - identity :  Q3791810
 - iff :  Q949972
 - basis :  Q406248
 - hand :  Q33767
 - formula :  Q976981
 - example :  Q29864097
 - map :  Q4006
 - decomposition :  Q339062
 - addition :  Q32043
 - function :  Q788331
 - prime :  Q49008
 - domain :  Q200975
 - yield :  Q596465
 - congruent :  Q299600
 - set :  Q235028
mathcomp.solvable.maximal.html contains: 
 - case :  Q229806
 - assertion :  Q1219840
 - end :  Q16220058
 - order :  Q2029226
 - action :  Q343542
 - series :  Q2917506
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - fact :  Q188572
 - space :  Q107
 - part :  Q414241
 - product :  Q1796457
 - dimension :  Q4440864
 - proof :  Q30762
 - factor :  Q1393757
 - sub :  Q438656
 - group :  Q654302
 - self :  Q3236990
 - und :  Q234808
 - exercise :  Q219067
 - vector :  Q451968
 - use :  Q1294087
 - proper subgroup :  Q466109
 - non :  Q403599
 - side :  Q395237
 - disc :  Q224358
 - abelian group :  Q181296
 - lemma :  Q256570
 - subset :  Q177646
 - element :  Q180750
 - intersection :  Q17141489
 - characteristic subgroup :  Q747027
 - ring :  Q534381
 - subgroup :  Q466109
 - class :  Q3679160
 - intersect :  Q1180277
 - center :  Q62207
 - theorem :  Q65943
 - prime :  Q49008
 - set :  Q235028
mathcomp.fingroup.morphism.html contains: 
 - text :  Q1689278
 - multiplication :  Q40276
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - mapping :  Q358007
 - test :  Q224615
 - factor :  Q1393757
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - theory :  Q17737
 - congruence :  Q299600
 - inverse :  Q224353
 - non :  Q403599
 - property :  Q6422240
 - theoretic :  Q17737
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - image :  Q478798
 - isomorphism :  Q189112
 - projection :  Q6502279
 - generate :  Q5532546
 - law :  Q7748
 - kernel :  Q202400
 - preimage :  Q860623
 - n. :  Q27553
 - identity :  Q3791810
 - center :  Q62207
 - example :  Q29864097
 - map :  Q4006
 - function :  Q788331
 - cycle :  Q225014
 - domain :  Q200975
 - set :  Q235028
mathcomp.algebra.mxalgebra.html contains: 
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - coefficient :  Q50700
 - family :  Q8436
 - action :  Q343542
 - structure :  Q6671777
 - index :  Q11712088
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - finite group :  Q1057968
 - vector space :  Q125977
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - space :  Q107
 - part :  Q414241
 - product :  Q1796457
 - dimension :  Q4440864
 - constant :  Q1127670
 - mapping :  Q358007
 - proof :  Q30762
 - test :  Q224615
 - sum :  Q407074
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - self :  Q3236990
 - term :  Q3984436
 - representation :  Q249614
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - metric :  Q235660
 - expansion :  Q253338
 - finite :  Q11516722
 - identity element :  Q185813
 - vector :  Q451968
 - inverse :  Q224353
 - value :  Q5189153
 - use :  Q1294087
 - respect :  Q28510
 - associativity :  Q177251
 - equivalence :  Q235935
 - eigenvalue :  Q190524
 - turn :  Q411785
 - entry :  Q5380814
 - non :  Q403599
 - base :  Q575724
 - integer :  Q12503
 - property :  Q6422240
 - side :  Q395237
 - matrix :  Q190069
 - lemma :  Q256570
 - definition :  Q101072
 - permutation :  Q161519
 - ball :  Q18545
 - way :  Q414987
 - exist :  Q5420343
 - operator :  Q228588
 - image :  Q478798
 - element :  Q180750
 - process :  Q229289
 - result :  Q2995644
 - intersection :  Q17141489
 - calculation :  Q622821
 - projection :  Q6502279
 - generate :  Q5532546
 - complement :  Q19924622
 - kernel :  Q202400
 - unit :  Q1487317
 - square :  Q164
 - procedure :  Q14167404
 - ring :  Q534381
 - direction :  Q344762
 - point :  Q4166892
 - choice :  Q1775867
 - number :  Q11563
 - list :  Q162032
 - n. :  Q27553
 - identity :  Q3791810
 - step :  Q594799
 - extension :  Q295785
 - intersect :  Q1180277
 - ideal :  Q224884
 - iff :  Q949972
 - zero :  Q204
 - basis :  Q406248
 - center :  Q62207
 - hand :  Q33767
 - force :  Q11402
 - extended :  Q295785
 - map :  Q4006
 - decomposition :  Q339062
 - span :  Q416974
 - function :  Q788331
 - nonzero :  Q7049087
 - finite dimensional :  Q929302
 - set :  Q235028
mathcomp.character.mxrepresentation.html contains: 
 - case :  Q229806
 - scalar :  Q2291395
 - end :  Q16220058
 - coefficient :  Q50700
 - order :  Q2029226
 - converse :  Q240905
 - multiplication :  Q40276
 - action :  Q343542
 - series :  Q2917506
 - structure :  Q6671777
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - vector space :  Q125977
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - fact :  Q188572
 - space :  Q107
 - part :  Q414241
 - product :  Q1796457
 - dimension :  Q4440864
 - proof :  Q30762
 - test :  Q224615
 - sum :  Q407074
 - degree :  Q383185
 - factor :  Q1393757
 - split :  Q233272
 - algorithm :  Q8366
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - bijection :  Q180907
 - term :  Q3984436
 - uniqueness :  Q24962672
 - representation :  Q249614
 - field :  Q257765
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - finite :  Q11516722
 - commute :  Q236729
 - identity element :  Q185813
 - vector :  Q451968
 - length :  Q36253
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - polynomial :  Q43260
 - eigenvalue :  Q190524
 - non :  Q403599
 - base :  Q575724
 - property :  Q6422240
 - side :  Q395237
 - matrix :  Q190069
 - disc :  Q224358
 - lemma :  Q256570
 - definition :  Q101072
 - permutation :  Q161519
 - ball :  Q18545
 - subset :  Q177646
 - sequence :  Q133250
 - image :  Q478798
 - element :  Q180750
 - isomorphism :  Q189112
 - closure :  Q256472
 - result :  Q2995644
 - projection :  Q6502279
 - homomorphism :  Q215111
 - generate :  Q5532546
 - complement :  Q19924622
 - centralizer :  Q190629
 - kernel :  Q202400
 - unit :  Q1487317
 - square :  Q164
 - procedure :  Q14167404
 - ring :  Q534381
 - point :  Q4166892
 - choice :  Q1775867
 - subgroup :  Q466109
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - identity :  Q3791810
 - splitting field :  Q1996100
 - extension :  Q295785
 - ideal :  Q224884
 - iff :  Q949972
 - basis :  Q406248
 - center :  Q62207
 - divide :  Q358711
 - purpose :  Q706622
 - formula :  Q976981
 - map :  Q4006
 - function :  Q788331
 - theorem :  Q65943
 - prime :  Q49008
 - assumption :  Q420391
 - domain :  Q200975
 - conjugate :  Q250417
 - yield :  Q596465
 - choice function :  Q2513496
 - root :  Q41500
 - set :  Q235028
"========== character n ============"
mathcomp.solvable.nilpotent.html contains: 
 - right :  Q780687
 - normal subgroup :  Q743179
 - end :  Q16220058
 - series :  Q2917506
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - proof :  Q30762
 - sub :  Q438656
 - group :  Q654302
 - term :  Q3984436
 - convention :  Q19969914
 - use :  Q1294087
 - trivial subgroup :  Q568687
 - proper subgroup :  Q466109
 - non :  Q403599
 - side :  Q395237
 - sylow :  Q320298
 - element :  Q180750
 - subgroup :  Q466109
 - class :  Q3679160
 - n. :  Q27553
 - iff :  Q949972
 - set :  Q235028
"========== character o ============"
mathcomp.ssreflect.order.html contains: 
 - text :  Q1689278
 - case :  Q229806
 - end :  Q16220058
 - order :  Q2029226
 - none :  Q395712
 - action :  Q343542
 - condition :  Q417488
 - multiple :  Q3327686
 - structure :  Q6671777
 - index :  Q11712088
 - range :  Q438399
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - difference :  Q11164407
 - natural number :  Q21199
 - fact :  Q188572
 - part :  Q414241
 - product :  Q1796457
 - bound :  Q895144
 - proof :  Q30762
 - sum :  Q407074
 - factor :  Q1393757
 - sub :  Q438656
 - instance :  Q437448
 - bijection :  Q180907
 - und :  Q234808
 - theory :  Q17737
 - convention :  Q19969914
 - finite :  Q11516722
 - word :  Q8171
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - ordering :  Q2029226
 - limit :  Q246639
 - non :  Q403599
 - base :  Q575724
 - disc :  Q224358
 - lemma :  Q256570
 - inclusion :  Q341771
 - definition :  Q101072
 - subset :  Q177646
 - exist :  Q5420343
 - sequence :  Q133250
 - operator :  Q228588
 - element :  Q180750
 - nonempty :  Q226183
 - generate :  Q5532546
 - complement :  Q19924622
 - unit :  Q1487317
 - ring :  Q534381
 - relation :  Q230259
 - choice :  Q1775867
 - number :  Q11563
 - class :  Q3679160
 - list :  Q162032
 - pair :  Q415963
 - n. :  Q27553
 - iff :  Q949972
 - example :  Q29864097
 - addition :  Q32043
 - function :  Q788331
 - theorem :  Q65943
 - set :  Q235028
"========== character p ============"
mathcomp.ssreflect.path.html contains: 
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - order :  Q2029226
 - action :  Q343542
 - condition :  Q417488
 - series :  Q2917506
 - index :  Q11712088
 - statement :  Q1456029
 - f :  Q9765
 - contrary :  Q4381774
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - part :  Q414241
 - constant :  Q1127670
 - mapping :  Q358007
 - proof :  Q30762
 - split :  Q233272
 - sub :  Q438656
 - uniqueness :  Q24962672
 - und :  Q234808
 - theory :  Q17737
 - segment :  Q258480
 - metric :  Q235660
 - equation :  Q11345
 - induction :  Q211504
 - value :  Q5189153
 - use :  Q1294087
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - side :  Q395237
 - lemma :  Q256570
 - definition :  Q101072
 - permutation :  Q161519
 - way :  Q414987
 - sequence :  Q133250
 - image :  Q478798
 - reason :  Q178354
 - projection :  Q6502279
 - generate :  Q5532546
 - complement :  Q19924622
 - relation :  Q230259
 - point :  Q4166892
 - preimage :  Q860623
 - n. :  Q27553
 - hand :  Q33767
 - map :  Q4006
 - function :  Q788331
 - cycle :  Q225014
 - root :  Q41500
mathcomp.fingroup.perm.html contains: 
 - case :  Q229806
 - end :  Q16220058
 - action :  Q343542
 - structure :  Q6671777
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - sub :  Q438656
 - group :  Q654302
 - und :  Q234808
 - finite :  Q11516722
 - inverse :  Q224353
 - non :  Q403599
 - inherit :  Q16797633
 - matrix :  Q190069
 - lemma :  Q256570
 - definition :  Q101072
 - permutation :  Q161519
 - image :  Q478798
 - element :  Q180750
 - choice :  Q1775867
 - pair :  Q415963
 - n. :  Q27553
 - identity :  Q3791810
 - hand :  Q33767
 - map :  Q4006
 - function :  Q788331
 - cycle :  Q225014
 - set :  Q235028
mathcomp.solvable.pgroup.html contains: 
 - order :  Q2029226
 - action :  Q343542
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - test :  Q224615
 - sum :  Q407074
 - sub :  Q438656
 - group :  Q654302
 - coset :  Q751969
 - p-subgroup :  Q1057919
 - use :  Q1294087
 - non :  Q403599
 - base :  Q575724
 - property :  Q6422240
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - way :  Q414987
 - element :  Q180750
 - cauchy :  Q8814
 - subgroup :  Q466109
 - decomposition :  Q339062
 - prime :  Q49008
 - set :  Q235028
mathcomp.algebra.polydiv.html contains: 
 - right :  Q780687
 - end :  Q16220058
 - coefficient :  Q50700
 - order :  Q2029226
 - structure :  Q6671777
 - tend :  Q7699562
 - statement :  Q1456029
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - space :  Q107
 - constant :  Q1127670
 - test :  Q224615
 - common divisor :  Q131752
 - sum :  Q407074
 - algorithm :  Q8366
 - self :  Q3236990
 - field :  Q257765
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - commute :  Q236729
 - use :  Q1294087
 - polynomial :  Q43260
 - turn :  Q411785
 - non :  Q403599
 - integral :  Q80091
 - definition :  Q101072
 - way :  Q414987
 - sequence :  Q133250
 - euclidean algorithm :  Q230848
 - unit :  Q1487317
 - divisor :  Q50708
 - ring :  Q534381
 - remainder :  Q846677
 - pair :  Q415963
 - n. :  Q27553
 - iff :  Q949972
 - zero :  Q204
 - divide :  Q358711
 - extended :  Q295785
 - prime :  Q49008
 - nonzero :  Q7049087
 - assumption :  Q420391
 - domain :  Q200975
mathcomp.algebra.polyXY.html contains: 
 - end :  Q16220058
 - coefficient :  Q50700
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - difference :  Q11164407
 - fact :  Q188572
 - part :  Q414241
 - proof :  Q30762
 - degree :  Q383185
 - sub :  Q438656
 - field :  Q257765
 - theory :  Q17737
 - polynomial :  Q43260
 - non :  Q403599
 - element :  Q180750
 - closure :  Q256472
 - result :  Q2995644
 - choice :  Q1775867
 - extension :  Q295785
 - iff :  Q949972
 - zero :  Q204
 - map :  Q4006
 - addition :  Q32043
 - theorem :  Q65943
 - nonzero :  Q7049087
 - root :  Q41500
mathcomp.fingroup.presentation.html contains: 
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - fact :  Q188572
 - generator :  Q227907
 - part :  Q414241
 - factor :  Q1393757
 - sub :  Q438656
 - group :  Q654302
 - und :  Q234808
 - finite :  Q11516722
 - non :  Q403599
 - image :  Q478798
 - element :  Q180750
 - generate :  Q5532546
 - relation :  Q230259
mathcomp.ssreflect.prime.html contains: 
 - euler totient :  Q190026
 - totient :  Q190026
 - end :  Q16220058
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - part :  Q414241
 - product :  Q1796457
 - constant :  Q1127670
 - bound :  Q895144
 - proof :  Q30762
 - time :  Q11471
 - test :  Q224615
 - sum :  Q407074
 - factor :  Q1393757
 - algorithm :  Q8366
 - instance :  Q437448
 - representation :  Q249614
 - component :  Q226635
 - und :  Q234808
 - value :  Q5189153
 - use :  Q1294087
 - problem :  Q730920
 - integer :  Q12503
 - lemma :  Q256570
 - definition :  Q101072
 - prime factor :  Q49008
 - divisor :  Q50708
 - ring :  Q534381
 - number :  Q11563
 - list :  Q162032
 - n. :  Q27553
 - hand :  Q33767
 - formula :  Q976981
 - decomposition :  Q339062
 - addition :  Q32043
 - function :  Q788331
 - prime :  Q49008
 - set :  Q235028
mathcomp.solvable.primitive_action.html contains: 
 - converse :  Q240905
 - action :  Q343542
 - f :  Q9765
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - part :  Q414241
 - value :  Q5189153
 - non :  Q403599
 - implication :  Q1215266
 - n. :  Q27553
 - set :  Q235028
"========== character q ============"
mathcomp.fingroup.quotient.html contains: 
 - text :  Q1689278
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - mapping :  Q358007
 - sum :  Q407074
 - sub :  Q438656
 - group :  Q654302
 - term :  Q3984436
 - coset :  Q751969
 - inverse :  Q224353
 - use :  Q1294087
 - non :  Q403599
 - base :  Q575724
 - inherit :  Q16797633
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - image :  Q478798
 - element :  Q180750
 - isomorphism :  Q189112
 - projection :  Q6502279
 - generate :  Q5532546
 - conclusion :  Q1399174
 - identity :  Q3791810
 - iff :  Q949972
 - hand :  Q33767
 - force :  Q11402
 - map :  Q4006
 - theorem :  Q65943
 - assumption :  Q420391
 - domain :  Q200975
 - set :  Q235028
"========== character r ============"
mathcomp.algebra.rat.html contains: 
 - case :  Q229806
 - rational number :  Q1244890
 - end :  Q16220058
 - order :  Q2029226
 - denominator :  Q66055
 - structure :  Q6671777
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - natural number :  Q21199
 - constant :  Q1127670
 - proof :  Q30762
 - sum :  Q407074
 - sub :  Q438656
 - term :  Q3984436
 - field :  Q257765
 - component :  Q226635
 - und :  Q234808
 - computation :  Q12525525
 - value :  Q5189153
 - use :  Q1294087
 - limit :  Q246639
 - non :  Q403599
 - integer :  Q12503
 - definition :  Q101072
 - way :  Q414987
 - sequence :  Q133250
 - operator :  Q228588
 - element :  Q180750
 - kernel :  Q202400
 - unit :  Q1487317
 - ring :  Q534381
 - number :  Q11563
 - pair :  Q415963
 - n. :  Q27553
 - purpose :  Q706622
 - addition :  Q32043
 - rational :  Q938185
 - prime :  Q49008
mathcomp.algebra.ring_quotient.html contains: 
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - multiplication :  Q40276
 - structure :  Q6671777
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - part :  Q414241
 - product :  Q1796457
 - constant :  Q1127670
 - sub :  Q438656
 - instance :  Q437448
 - self :  Q3236990
 - inverse :  Q224353
 - use :  Q1294087
 - respect :  Q28510
 - non :  Q403599
 - base :  Q575724
 - side :  Q395237
 - commutative ring :  Q858656
 - definition :  Q101072
 - image :  Q478798
 - unit :  Q1487317
 - ring :  Q534381
 - relation :  Q230259
 - class :  Q3679160
 - ideal :  Q224884
 - zero :  Q204
 - addition :  Q32043
 - prime :  Q49008
"========== character s ============"
mathcomp.field.separable.html contains: 
 - end :  Q16220058
 - multiple root :  Q2228257
 - multiple :  Q3327686
 - tend :  Q7699562
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - reference :  Q121769
 - p :  Q9946
 - generator :  Q227907
 - product :  Q1796457
 - sub :  Q438656
 - field :  Q257765
 - theory :  Q17737
 - use :  Q1294087
 - polynomial :  Q43260
 - turn :  Q411785
 - side :  Q395237
 - lemma :  Q256570
 - operator :  Q228588
 - element :  Q180750
 - generate :  Q5532546
 - law :  Q7748
 - n. :  Q27553
 - extension :  Q295785
 - subfield :  Q17989667
 - function :  Q788331
 - root :  Q41500
mathcomp.ssreflect.seq.html contains: 
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - order :  Q2029226
 - none :  Q395712
 - family :  Q8436
 - condition :  Q417488
 - structure :  Q6671777
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - part :  Q414241
 - constant :  Q1127670
 - bound :  Q895144
 - proof :  Q30762
 - time :  Q11471
 - sum :  Q407074
 - factor :  Q1393757
 - split :  Q233272
 - sub :  Q438656
 - instance :  Q437448
 - self :  Q3236990
 - term :  Q3984436
 - subsequence :  Q1332977
 - und :  Q234808
 - expansion :  Q253338
 - induction :  Q211504
 - length :  Q36253
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - equivalence :  Q235935
 - non :  Q403599
 - implication :  Q1215266
 - side :  Q395237
 - lemma :  Q256570
 - pairwise :  Q7125151
 - definition :  Q101072
 - permutation :  Q161519
 - exist :  Q5420343
 - equality :  Q28022790
 - sequence :  Q133250
 - image :  Q478798
 - element :  Q180750
 - generate :  Q5532546
 - hint :  Q1206893
 - ring :  Q534381
 - relation :  Q230259
 - choice :  Q1775867
 - number :  Q11563
 - list :  Q162032
 - pair :  Q415963
 - n. :  Q27553
 - iff :  Q949972
 - zero :  Q204
 - force :  Q11402
 - example :  Q29864097
 - map :  Q4006
 - addition :  Q32043
 - function :  Q788331
 - cycle :  Q225014
 - theorem :  Q65943
 - set :  Q235028
 - principle :  Q211364
mathcomp.ssreflect.ssrAC.html contains: 
 - order :  Q2029226
 - combination :  Q202805
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - modulo :  Q411185
 - use :  Q1294087
 - associativity :  Q177251
 - ordering :  Q2029226
 - ring :  Q534381
 - example :  Q29864097
mathcomp.algebra.ssralg.html contains: 
 - right :  Q780687
 - scalar :  Q2291395
 - end :  Q16220058
 - order :  Q2029226
 - converse :  Q240905
 - multiplication :  Q40276
 - combination :  Q202805
 - action :  Q343542
 - structure :  Q6671777
 - range :  Q438399
 - tend :  Q7699562
 - statement :  Q1456029
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - reference :  Q121769
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - difference :  Q11164407
 - fact :  Q188572
 - part :  Q414241
 - product :  Q1796457
 - constant :  Q1127670
 - bound :  Q895144
 - mapping :  Q358007
 - proof :  Q30762
 - time :  Q11471
 - test :  Q224615
 - sum :  Q407074
 - factor :  Q1393757
 - sub :  Q438656
 - instance :  Q437448
 - group :  Q654302
 - self :  Q3236990
 - term :  Q3984436
 - field :  Q257765
 - prime number :  Q49008
 - und :  Q234808
 - theory :  Q17737
 - upper bound :  Q13222579
 - convention :  Q19969914
 - power :  Q398902
 - metric :  Q235660
 - expansion :  Q253338
 - finite :  Q11516722
 - commute :  Q236729
 - identity element :  Q185813
 - inverse :  Q224353
 - value :  Q5189153
 - axiom :  Q17736
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - polynomial :  Q43260
 - linear combination :  Q27628
 - limit :  Q246639
 - non :  Q403599
 - base :  Q575724
 - property :  Q6422240
 - integral :  Q80091
 - side :  Q395237
 - matrix :  Q190069
 - abelian group :  Q181296
 - lemma :  Q256570
 - commutative ring :  Q858656
 - definition :  Q101072
 - way :  Q414987
 - exist :  Q5420343
 - codomain :  Q199006
 - sequence :  Q133250
 - operator :  Q228588
 - image :  Q478798
 - element :  Q180750
 - result :  Q2995644
 - projection :  Q6502279
 - law :  Q7748
 - automorphism :  Q782566
 - unit :  Q1487317
 - fraction :  Q1109871
 - ring :  Q534381
 - direction :  Q344762
 - choice :  Q1775867
 - number :  Q11563
 - class :  Q3679160
 - n. :  Q27553
 - identity :  Q3791810
 - extension :  Q295785
 - subfield :  Q17989667
 - iff :  Q949972
 - zero :  Q204
 - hand :  Q33767
 - divide :  Q358711
 - formula :  Q976981
 - map :  Q4006
 - addition :  Q32043
 - function :  Q788331
 - theorem :  Q65943
 - prime :  Q49008
 - nonzero :  Q7049087
 - domain :  Q200975
 - root :  Q41500
 - set :  Q235028
mathcomp.ssreflect.ssrbool.html contains: 
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - part :  Q414241
 - addition :  Q32043
mathcomp.ssreflect.ssreflect.html contains: 
 - case :  Q229806
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - proof :  Q30762
 - term :  Q3984436
 - use :  Q1294087
 - lemma :  Q256570
 - class :  Q3679160
 - addition :  Q32043
mathcomp.ssreflect.ssrfun.html contains: 
 - order :  Q2029226
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - addition :  Q32043
mathcomp.algebra.ssrint.html contains: 
 - case :  Q229806
 - distance :  Q126017
 - end :  Q16220058
 - order :  Q2029226
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - proof :  Q30762
 - time :  Q11471
 - sub :  Q438656
 - instance :  Q437448
 - term :  Q3984436
 - und :  Q234808
 - theory :  Q17737
 - work :  Q188561
 - limit :  Q246639
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - integer :  Q12503
 - lemma :  Q256570
 - definition :  Q101072
 - sequence :  Q133250
 - image :  Q478798
 - law :  Q7748
 - ring :  Q534381
 - number :  Q11563
 - n. :  Q27553
 - hand :  Q33767
 - domain :  Q200975
mathcomp.ssreflect.ssrnat.html contains: 
 - text :  Q1689278
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - order :  Q2029226
 - multiplication :  Q40276
 - action :  Q343542
 - condition :  Q417488
 - multiple :  Q3327686
 - cancellation :  Q331693
 - statement :  Q1456029
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - natural number :  Q21199
 - fact :  Q188572
 - part :  Q414241
 - constant :  Q1127670
 - bound :  Q895144
 - proof :  Q30762
 - test :  Q224615
 - sum :  Q407074
 - factor :  Q1393757
 - sub :  Q438656
 - und :  Q234808
 - theory :  Q17737
 - congruence :  Q299600
 - metric :  Q235660
 - equation :  Q11345
 - induction :  Q211504
 - computation :  Q12525525
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - ordering :  Q2029226
 - limit :  Q246639
 - turn :  Q411785
 - inequality :  Q345826
 - non :  Q403599
 - integer :  Q12503
 - property :  Q6422240
 - side :  Q395237
 - lemma :  Q256570
 - definition :  Q101072
 - exist :  Q5420343
 - equality :  Q28022790
 - sequence :  Q133250
 - operator :  Q228588
 - cauchy :  Q8814
 - result :  Q2995644
 - hint :  Q1206893
 - square :  Q164
 - ring :  Q534381
 - relation :  Q230259
 - number :  Q11563
 - list :  Q162032
 - n. :  Q27553
 - iff :  Q949972
 - comparison :  Q1720648
 - hand :  Q33767
 - example :  Q29864097
 - addition :  Q32043
 - function :  Q788331
 - prime :  Q49008
 - assumption :  Q420391
 - yield :  Q596465
 - set :  Q235028
mathcomp.ssreflect.ssrnotations.html contains: 
 - order :  Q2029226
 - multiplication :  Q40276
 - action :  Q343542
 - condition :  Q417488
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - operation :  Q209577
 - sub :  Q438656
 - group :  Q654302
 - value :  Q5189153
 - polynomial :  Q43260
 - integer :  Q12503
 - theoretic :  Q17737
 - multiplier :  Q437065
 - element :  Q180750
 - absolute value :  Q120812
 - generate :  Q5532546
 - n. :  Q27553
 - derivative :  Q29175
 - center :  Q62207
 - comparison :  Q1720648
 - set :  Q235028
mathcomp.algebra.ssrnum.html contains: 
 - right :  Q780687
 - case :  Q229806
 - end :  Q16220058
 - order :  Q2029226
 - multiplication :  Q40276
 - combination :  Q202805
 - action :  Q343542
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - difference :  Q11164407
 - part :  Q414241
 - product :  Q1796457
 - bound :  Q895144
 - sum :  Q407074
 - sub :  Q438656
 - term :  Q3984436
 - field :  Q257765
 - component :  Q226635
 - und :  Q234808
 - theory :  Q17737
 - upper bound :  Q13222579
 - metric :  Q235660
 - axiom :  Q17736
 - use :  Q1294087
 - polynomial :  Q43260
 - real number :  Q12916
 - ordering :  Q2029226
 - imaginary part :  Q11567
 - inequality :  Q345826
 - non :  Q403599
 - integer :  Q12503
 - integral :  Q80091
 - lemma :  Q256570
 - nature :  Q7860
 - definition :  Q101072
 - subset :  Q177646
 - equality :  Q28022790
 - sequence :  Q133250
 - element :  Q180750
 - closure :  Q256472
 - complement :  Q19924622
 - unit :  Q1487317
 - square :  Q164
 - interval :  Q233991
 - ring :  Q534381
 - direction :  Q344762
 - point :  Q4166892
 - remark :  Q1496085
 - number :  Q11563
 - class :  Q3679160
 - n. :  Q27553
 - conjugation :  Q250417
 - extension :  Q295785
 - iff :  Q949972
 - zero :  Q204
 - comparison :  Q1720648
 - square root :  Q134237
 - addition :  Q32043
 - domain :  Q200975
 - conjugate :  Q250417
 - root :  Q41500
 - set :  Q235028
mathcomp.solvable.sylow.html contains: 
 - action :  Q343542
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - mod :  Q225750
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - sub :  Q438656
 - group :  Q654302
 - p-subgroup :  Q1057919
 - lemma :  Q256570
 - sylow :  Q320298
 - sequence :  Q133250
 - subgroup :  Q466109
 - theorem :  Q65943
"========== character t ============"
mathcomp.ssreflect.tuple.html contains: 
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - bound :  Q895144
 - sub :  Q438656
 - instance :  Q437448
 - term :  Q3984436
 - component :  Q226635
 - und :  Q234808
 - finite :  Q11516722
 - length :  Q36253
 - value :  Q5189153
 - use :  Q1294087
 - work :  Q188561
 - respect :  Q28510
 - non :  Q403599
 - inherit :  Q16797633
 - lemma :  Q256570
 - definition :  Q101072
 - sequence :  Q133250
 - element :  Q180750
 - ring :  Q534381
 - n. :  Q27553
 - map :  Q4006
 - principle :  Q211364
"========== character u ============"
"========== character v ============"
mathcomp.character.vcharacter.html contains: 
 - combination :  Q202805
 - index :  Q11712088
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - b :  Q9705
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - hypothesis :  Q41719
 - sub :  Q438656
 - theory :  Q17737
 - use :  Q1294087
 - linear combination :  Q27628
 - lemma :  Q256570
 - definition :  Q101072
 - subset :  Q177646
 - exist :  Q5420343
 - element :  Q180750
 - hint :  Q1206893
 - set :  Q235028
mathcomp.algebra.vector.html contains: 
 - right :  Q780687
 - disjoint :  Q338707
 - scalar :  Q2291395
 - end :  Q16220058
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - subspace :  Q52314
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - vector space :  Q125977
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - difference :  Q11164407
 - generator :  Q227907
 - space :  Q107
 - product :  Q1796457
 - dimension :  Q4440864
 - proof :  Q30762
 - sum :  Q407074
 - sub :  Q438656
 - instance :  Q437448
 - field :  Q257765
 - theory :  Q17737
 - metric :  Q235660
 - expansion :  Q253338
 - finite :  Q11516722
 - equation :  Q11345
 - vector :  Q451968
 - inverse :  Q224353
 - axiom :  Q17736
 - use :  Q1294087
 - problem :  Q730920
 - turn :  Q411785
 - non :  Q403599
 - base :  Q575724
 - side :  Q395237
 - matrix :  Q190069
 - inclusion :  Q341771
 - definition :  Q101072
 - exist :  Q5420343
 - codomain :  Q199006
 - sequence :  Q133250
 - image :  Q478798
 - element :  Q180750
 - intersection :  Q17141489
 - projection :  Q6502279
 - homomorphism :  Q215111
 - generate :  Q5532546
 - complement :  Q19924622
 - kernel :  Q202400
 - unit :  Q1487317
 - ring :  Q534381
 - class :  Q3679160
 - list :  Q162032
 - n. :  Q27553
 - identity :  Q3791810
 - intersect :  Q1180277
 - iff :  Q949972
 - zero :  Q204
 - basis :  Q406248
 - span :  Q416974
 - function :  Q788331
 - nonzero :  Q7049087
 - finite dimensional :  Q929302
 - domain :  Q200975
"========== character w ============"
"========== character x ============"
"========== character y ============"
"========== character z ============"
mathcomp.algebra.zmodp.html contains: 
 - finite field :  Q603880
 - order :  Q2029226
 - multiplication :  Q40276
 - structure :  Q6671777
 - f :  Q9765
 - g :  Q9739
 - t :  Q9813
 - d :  Q9884
 - call :  Q407264
 - mod :  Q225750
 - b :  Q9705
 - construction :  Q385378
 - s :  Q9956
 - c :  Q9820
 - p :  Q9946
 - form :  Q1235072
 - operation :  Q209577
 - fact :  Q188572
 - generator :  Q227907
 - sub :  Q438656
 - group :  Q654302
 - field :  Q257765
 - finite :  Q11516722
 - identity element :  Q185813
 - inverse :  Q224353
 - use :  Q1294087
 - non :  Q403599
 - integer :  Q12503
 - definition :  Q101072
 - way :  Q414987
 - element :  Q180750
 - projection :  Q6502279
 - automorphism :  Q782566
 - unit :  Q1487317
 - divisor :  Q50708
 - ring :  Q534381
 - subgroup :  Q466109
 - n. :  Q27553
 - identity :  Q3791810
 - addition :  Q32043
 - function :  Q788331
 - prime :  Q49008
 - set :  Q235028

generate-concept-mapping.rkt

#lang racket

(require net/http-easy (except-in html head) xml/path xml sxml/sxpath)
(define mappings-file "pn-term-mappings.txt")

(define mathcomp-library-root "https://math-comp.github.io/htmldoc_2_0_0")
(define (mathcomp-library-url char)
  (format
   "~a/index_library_~a.html"
   mathcomp-library-root
   (char-upcase char)))


(define (extract-string expr)
  (match expr
    [(list* hd rest)
     (if (string? hd)
         (cons hd (extract-string rest))
         (extract-string rest))]
    [(list) (list)]))

(define (extract-source file)
  (define url (format "~a/~a" mathcomp-library-root file))
  (define res (get url))
  (define page (response-xml res))
  (define document (xml->xexpr (document-element page)))
  
  (string-join
   (for/list
       ([div (se-path*/list '(div div) document)]
        #:when (not (string? div))
        #:when (not (symbol? div))
        #:when (equal? (car div) 'div)
        #:when (equal? (se-path* '(div #:class) div) "doc"))
     (string-join (extract-string (cdr div)) "\n")) "\n"))

(define (normalise-name name)
  (string-replace (string-downcase name) "_" " "))

(define proof-net-mapping
  (for/hash ([mapping (string-split (file->string mappings-file) "\n")])
    (define pair (string-split mapping ":"))
    (values (normalise-name (first pair)) (second pair))))

(define (calculate-wikidata-concepts-in-file txt)
  (define normalised-txt (string-replace (string-downcase txt) "\n" ""))
  (for/list ([(concept wiki-data) (in-hash proof-net-mapping)]
             #:when (string-contains? normalised-txt concept))
    (list concept wiki-data)))


(when #true
  (for*
    ([char (in-string "abcdefghijklmnopqrstuvwxyz")]
     #:do [(println (format "========== character ~a ============" char))
           (define res (get (mathcomp-library-url char)))
           (define page (response-xml res))
           (define document (xml->xexpr (document-element page)))
           (define files (drop-right (se-path*/list '(div a #:href) document) 2))]
     [file files]
     #:do
     [(define documentation
        (with-handlers
            [(exn:fail? (lambda (_) #false))]
          (extract-source file)))]
     #:when documentation
     #:do [(define concepts (calculate-wikidata-concepts-in-file documentation))]
     #:when (> (length concepts) 0))
    
    (displayln
     (format "~a contains: " file))
    (for ([concept concepts])
      (displayln (format
                  " - ~a : ~a" (first concept) (second concept))))
    ))