-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathindex_definition_C.html
1974 lines (1966 loc) · 264 KB
/
index_definition_C.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link href="coqdoc.css" rel="stylesheet" type="text/css" />
<title>mathcomp.ssreflect.tuple</title>
</head>
<body>
<div id="page">
<div id="header">
</div>
<div id="main">
<table>
<tr>
<td>Global Index</td>
<td><a href="index_global_A.html">A</a></td>
<td><a href="index_global_B.html">B</a></td>
<td><a href="index_global_C.html">C</a></td>
<td><a href="index_global_D.html">D</a></td>
<td><a href="index_global_E.html">E</a></td>
<td><a href="index_global_F.html">F</a></td>
<td><a href="index_global_G.html">G</a></td>
<td><a href="index_global_H.html">H</a></td>
<td><a href="index_global_I.html">I</a></td>
<td><a href="index_global_J.html">J</a></td>
<td><a href="index_global_K.html">K</a></td>
<td><a href="index_global_L.html">L</a></td>
<td><a href="index_global_M.html">M</a></td>
<td><a href="index_global_N.html">N</a></td>
<td><a href="index_global_O.html">O</a></td>
<td><a href="index_global_P.html">P</a></td>
<td><a href="index_global_Q.html">Q</a></td>
<td><a href="index_global_R.html">R</a></td>
<td><a href="index_global_S.html">S</a></td>
<td><a href="index_global_T.html">T</a></td>
<td><a href="index_global_U.html">U</a></td>
<td><a href="index_global_V.html">V</a></td>
<td><a href="index_global_W.html">W</a></td>
<td><a href="index_global_X.html">X</a></td>
<td>Y</td>
<td><a href="index_global_Z.html">Z</a></td>
<td>_</td>
<td><a href="index_global_*.html">other</a></td>
<td>(54001 entries)</td>
</tr>
<tr>
<td>Notation Index</td>
<td><a href="index_notation_A.html">A</a></td>
<td><a href="index_notation_B.html">B</a></td>
<td><a href="index_notation_C.html">C</a></td>
<td><a href="index_notation_D.html">D</a></td>
<td><a href="index_notation_E.html">E</a></td>
<td><a href="index_notation_F.html">F</a></td>
<td><a href="index_notation_G.html">G</a></td>
<td><a href="index_notation_H.html">H</a></td>
<td><a href="index_notation_I.html">I</a></td>
<td>J</td>
<td><a href="index_notation_K.html">K</a></td>
<td><a href="index_notation_L.html">L</a></td>
<td><a href="index_notation_M.html">M</a></td>
<td><a href="index_notation_N.html">N</a></td>
<td><a href="index_notation_O.html">O</a></td>
<td><a href="index_notation_P.html">P</a></td>
<td><a href="index_notation_Q.html">Q</a></td>
<td><a href="index_notation_R.html">R</a></td>
<td><a href="index_notation_S.html">S</a></td>
<td>T</td>
<td><a href="index_notation_U.html">U</a></td>
<td><a href="index_notation_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_notation_Z.html">Z</a></td>
<td>_</td>
<td><a href="index_notation_*.html">other</a></td>
<td>(1931 entries)</td>
</tr>
<tr>
<td>Module Index</td>
<td><a href="index_module_A.html">A</a></td>
<td><a href="index_module_B.html">B</a></td>
<td><a href="index_module_C.html">C</a></td>
<td><a href="index_module_D.html">D</a></td>
<td><a href="index_module_E.html">E</a></td>
<td><a href="index_module_F.html">F</a></td>
<td><a href="index_module_G.html">G</a></td>
<td><a href="index_module_H.html">H</a></td>
<td><a href="index_module_I.html">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="index_module_L.html">L</a></td>
<td><a href="index_module_M.html">M</a></td>
<td><a href="index_module_N.html">N</a></td>
<td><a href="index_module_O.html">O</a></td>
<td><a href="index_module_P.html">P</a></td>
<td><a href="index_module_Q.html">Q</a></td>
<td><a href="index_module_R.html">R</a></td>
<td><a href="index_module_S.html">S</a></td>
<td><a href="index_module_T.html">T</a></td>
<td><a href="index_module_U.html">U</a></td>
<td><a href="index_module_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_module_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(1658 entries)</td>
</tr>
<tr>
<td>Variable Index</td>
<td><a href="index_variable_A.html">A</a></td>
<td><a href="index_variable_B.html">B</a></td>
<td><a href="index_variable_C.html">C</a></td>
<td><a href="index_variable_D.html">D</a></td>
<td><a href="index_variable_E.html">E</a></td>
<td><a href="index_variable_F.html">F</a></td>
<td><a href="index_variable_G.html">G</a></td>
<td><a href="index_variable_H.html">H</a></td>
<td><a href="index_variable_I.html">I</a></td>
<td>J</td>
<td><a href="index_variable_K.html">K</a></td>
<td><a href="index_variable_L.html">L</a></td>
<td><a href="index_variable_M.html">M</a></td>
<td><a href="index_variable_N.html">N</a></td>
<td><a href="index_variable_O.html">O</a></td>
<td><a href="index_variable_P.html">P</a></td>
<td><a href="index_variable_Q.html">Q</a></td>
<td><a href="index_variable_R.html">R</a></td>
<td><a href="index_variable_S.html">S</a></td>
<td><a href="index_variable_T.html">T</a></td>
<td><a href="index_variable_U.html">U</a></td>
<td><a href="index_variable_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_variable_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(7199 entries)</td>
</tr>
<tr>
<td>Library Index</td>
<td><a href="index_library_A.html">A</a></td>
<td><a href="index_library_B.html">B</a></td>
<td><a href="index_library_C.html">C</a></td>
<td><a href="index_library_D.html">D</a></td>
<td><a href="index_library_E.html">E</a></td>
<td><a href="index_library_F.html">F</a></td>
<td><a href="index_library_G.html">G</a></td>
<td><a href="index_library_H.html">H</a></td>
<td><a href="index_library_I.html">I</a></td>
<td><a href="index_library_J.html">J</a></td>
<td>K</td>
<td>L</td>
<td><a href="index_library_M.html">M</a></td>
<td><a href="index_library_N.html">N</a></td>
<td><a href="index_library_O.html">O</a></td>
<td><a href="index_library_P.html">P</a></td>
<td><a href="index_library_Q.html">Q</a></td>
<td><a href="index_library_R.html">R</a></td>
<td><a href="index_library_S.html">S</a></td>
<td><a href="index_library_T.html">T</a></td>
<td>U</td>
<td><a href="index_library_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_library_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(97 entries)</td>
</tr>
<tr>
<td>Lemma Index</td>
<td><a href="index_lemma_A.html">A</a></td>
<td><a href="index_lemma_B.html">B</a></td>
<td><a href="index_lemma_C.html">C</a></td>
<td><a href="index_lemma_D.html">D</a></td>
<td><a href="index_lemma_E.html">E</a></td>
<td><a href="index_lemma_F.html">F</a></td>
<td><a href="index_lemma_G.html">G</a></td>
<td><a href="index_lemma_H.html">H</a></td>
<td><a href="index_lemma_I.html">I</a></td>
<td><a href="index_lemma_J.html">J</a></td>
<td><a href="index_lemma_K.html">K</a></td>
<td><a href="index_lemma_L.html">L</a></td>
<td><a href="index_lemma_M.html">M</a></td>
<td><a href="index_lemma_N.html">N</a></td>
<td><a href="index_lemma_O.html">O</a></td>
<td><a href="index_lemma_P.html">P</a></td>
<td><a href="index_lemma_Q.html">Q</a></td>
<td><a href="index_lemma_R.html">R</a></td>
<td><a href="index_lemma_S.html">S</a></td>
<td><a href="index_lemma_T.html">T</a></td>
<td><a href="index_lemma_U.html">U</a></td>
<td><a href="index_lemma_V.html">V</a></td>
<td><a href="index_lemma_W.html">W</a></td>
<td><a href="index_lemma_X.html">X</a></td>
<td>Y</td>
<td><a href="index_lemma_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(15214 entries)</td>
</tr>
<tr>
<td>Axiom Index</td>
<td><a href="index_axiom_A.html">A</a></td>
<td><a href="index_axiom_B.html">B</a></td>
<td><a href="index_axiom_C.html">C</a></td>
<td><a href="index_axiom_D.html">D</a></td>
<td><a href="index_axiom_E.html">E</a></td>
<td><a href="index_axiom_F.html">F</a></td>
<td><a href="index_axiom_G.html">G</a></td>
<td>H</td>
<td><a href="index_axiom_I.html">I</a></td>
<td>J</td>
<td>K</td>
<td>L</td>
<td><a href="index_axiom_M.html">M</a></td>
<td>N</td>
<td>O</td>
<td><a href="index_axiom_P.html">P</a></td>
<td><a href="index_axiom_Q.html">Q</a></td>
<td><a href="index_axiom_R.html">R</a></td>
<td><a href="index_axiom_S.html">S</a></td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(75 entries)</td>
</tr>
<tr>
<td>Constructor Index</td>
<td><a href="index_constructor_A.html">A</a></td>
<td><a href="index_constructor_B.html">B</a></td>
<td><a href="index_constructor_C.html">C</a></td>
<td><a href="index_constructor_D.html">D</a></td>
<td><a href="index_constructor_E.html">E</a></td>
<td><a href="index_constructor_F.html">F</a></td>
<td><a href="index_constructor_G.html">G</a></td>
<td><a href="index_constructor_H.html">H</a></td>
<td><a href="index_constructor_I.html">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="index_constructor_L.html">L</a></td>
<td><a href="index_constructor_M.html">M</a></td>
<td><a href="index_constructor_N.html">N</a></td>
<td><a href="index_constructor_O.html">O</a></td>
<td><a href="index_constructor_P.html">P</a></td>
<td><a href="index_constructor_Q.html">Q</a></td>
<td><a href="index_constructor_R.html">R</a></td>
<td><a href="index_constructor_S.html">S</a></td>
<td><a href="index_constructor_T.html">T</a></td>
<td><a href="index_constructor_U.html">U</a></td>
<td><a href="index_constructor_V.html">V</a></td>
<td>W</td>
<td><a href="index_constructor_X.html">X</a></td>
<td>Y</td>
<td><a href="index_constructor_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(224 entries)</td>
</tr>
<tr>
<td>Inductive Index</td>
<td><a href="index_inductive_A.html">A</a></td>
<td><a href="index_inductive_B.html">B</a></td>
<td><a href="index_inductive_C.html">C</a></td>
<td><a href="index_inductive_D.html">D</a></td>
<td><a href="index_inductive_E.html">E</a></td>
<td><a href="index_inductive_F.html">F</a></td>
<td><a href="index_inductive_G.html">G</a></td>
<td><a href="index_inductive_H.html">H</a></td>
<td><a href="index_inductive_I.html">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="index_inductive_L.html">L</a></td>
<td><a href="index_inductive_M.html">M</a></td>
<td><a href="index_inductive_N.html">N</a></td>
<td><a href="index_inductive_O.html">O</a></td>
<td><a href="index_inductive_P.html">P</a></td>
<td>Q</td>
<td><a href="index_inductive_R.html">R</a></td>
<td><a href="index_inductive_S.html">S</a></td>
<td><a href="index_inductive_T.html">T</a></td>
<td><a href="index_inductive_U.html">U</a></td>
<td><a href="index_inductive_V.html">V</a></td>
<td>W</td>
<td><a href="index_inductive_X.html">X</a></td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>other</td>
<td>(132 entries)</td>
</tr>
<tr>
<td>Projection Index</td>
<td><a href="index_projection_A.html">A</a></td>
<td><a href="index_projection_B.html">B</a></td>
<td><a href="index_projection_C.html">C</a></td>
<td><a href="index_projection_D.html">D</a></td>
<td><a href="index_projection_E.html">E</a></td>
<td><a href="index_projection_F.html">F</a></td>
<td><a href="index_projection_G.html">G</a></td>
<td><a href="index_projection_H.html">H</a></td>
<td><a href="index_projection_I.html">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="index_projection_L.html">L</a></td>
<td><a href="index_projection_M.html">M</a></td>
<td><a href="index_projection_N.html">N</a></td>
<td><a href="index_projection_O.html">O</a></td>
<td><a href="index_projection_P.html">P</a></td>
<td><a href="index_projection_Q.html">Q</a></td>
<td><a href="index_projection_R.html">R</a></td>
<td><a href="index_projection_S.html">S</a></td>
<td><a href="index_projection_T.html">T</a></td>
<td><a href="index_projection_U.html">U</a></td>
<td><a href="index_projection_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_projection_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(2371 entries)</td>
</tr>
<tr>
<td>Section Index</td>
<td><a href="index_section_A.html">A</a></td>
<td><a href="index_section_B.html">B</a></td>
<td><a href="index_section_C.html">C</a></td>
<td><a href="index_section_D.html">D</a></td>
<td><a href="index_section_E.html">E</a></td>
<td><a href="index_section_F.html">F</a></td>
<td><a href="index_section_G.html">G</a></td>
<td><a href="index_section_H.html">H</a></td>
<td><a href="index_section_I.html">I</a></td>
<td>J</td>
<td><a href="index_section_K.html">K</a></td>
<td><a href="index_section_L.html">L</a></td>
<td><a href="index_section_M.html">M</a></td>
<td><a href="index_section_N.html">N</a></td>
<td><a href="index_section_O.html">O</a></td>
<td><a href="index_section_P.html">P</a></td>
<td><a href="index_section_Q.html">Q</a></td>
<td><a href="index_section_R.html">R</a></td>
<td><a href="index_section_S.html">S</a></td>
<td><a href="index_section_T.html">T</a></td>
<td><a href="index_section_U.html">U</a></td>
<td><a href="index_section_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_section_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(2266 entries)</td>
</tr>
<tr>
<td>Abbreviation Index</td>
<td><a href="index_abbreviation_A.html">A</a></td>
<td><a href="index_abbreviation_B.html">B</a></td>
<td><a href="index_abbreviation_C.html">C</a></td>
<td><a href="index_abbreviation_D.html">D</a></td>
<td><a href="index_abbreviation_E.html">E</a></td>
<td><a href="index_abbreviation_F.html">F</a></td>
<td><a href="index_abbreviation_G.html">G</a></td>
<td><a href="index_abbreviation_H.html">H</a></td>
<td><a href="index_abbreviation_I.html">I</a></td>
<td><a href="index_abbreviation_J.html">J</a></td>
<td><a href="index_abbreviation_K.html">K</a></td>
<td><a href="index_abbreviation_L.html">L</a></td>
<td><a href="index_abbreviation_M.html">M</a></td>
<td><a href="index_abbreviation_N.html">N</a></td>
<td><a href="index_abbreviation_O.html">O</a></td>
<td><a href="index_abbreviation_P.html">P</a></td>
<td><a href="index_abbreviation_Q.html">Q</a></td>
<td><a href="index_abbreviation_R.html">R</a></td>
<td><a href="index_abbreviation_S.html">S</a></td>
<td><a href="index_abbreviation_T.html">T</a></td>
<td><a href="index_abbreviation_U.html">U</a></td>
<td><a href="index_abbreviation_V.html">V</a></td>
<td><a href="index_abbreviation_W.html">W</a></td>
<td><a href="index_abbreviation_X.html">X</a></td>
<td>Y</td>
<td><a href="index_abbreviation_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(732 entries)</td>
</tr>
<tr>
<td>Definition Index</td>
<td><a href="index_definition_A.html">A</a></td>
<td><a href="index_definition_B.html">B</a></td>
<td><a href="index_definition_C.html">C</a></td>
<td><a href="index_definition_D.html">D</a></td>
<td><a href="index_definition_E.html">E</a></td>
<td><a href="index_definition_F.html">F</a></td>
<td><a href="index_definition_G.html">G</a></td>
<td><a href="index_definition_H.html">H</a></td>
<td><a href="index_definition_I.html">I</a></td>
<td><a href="index_definition_J.html">J</a></td>
<td><a href="index_definition_K.html">K</a></td>
<td><a href="index_definition_L.html">L</a></td>
<td><a href="index_definition_M.html">M</a></td>
<td><a href="index_definition_N.html">N</a></td>
<td><a href="index_definition_O.html">O</a></td>
<td><a href="index_definition_P.html">P</a></td>
<td><a href="index_definition_Q.html">Q</a></td>
<td><a href="index_definition_R.html">R</a></td>
<td><a href="index_definition_S.html">S</a></td>
<td><a href="index_definition_T.html">T</a></td>
<td><a href="index_definition_U.html">U</a></td>
<td><a href="index_definition_V.html">V</a></td>
<td><a href="index_definition_W.html">W</a></td>
<td><a href="index_definition_X.html">X</a></td>
<td>Y</td>
<td><a href="index_definition_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(21455 entries)</td>
</tr>
<tr>
<td>Record Index</td>
<td><a href="index_record_A.html">A</a></td>
<td><a href="index_record_B.html">B</a></td>
<td><a href="index_record_C.html">C</a></td>
<td><a href="index_record_D.html">D</a></td>
<td><a href="index_record_E.html">E</a></td>
<td><a href="index_record_F.html">F</a></td>
<td><a href="index_record_G.html">G</a></td>
<td><a href="index_record_H.html">H</a></td>
<td><a href="index_record_I.html">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="index_record_L.html">L</a></td>
<td><a href="index_record_M.html">M</a></td>
<td><a href="index_record_N.html">N</a></td>
<td><a href="index_record_O.html">O</a></td>
<td><a href="index_record_P.html">P</a></td>
<td><a href="index_record_Q.html">Q</a></td>
<td><a href="index_record_R.html">R</a></td>
<td><a href="index_record_S.html">S</a></td>
<td><a href="index_record_T.html">T</a></td>
<td><a href="index_record_U.html">U</a></td>
<td><a href="index_record_V.html">V</a></td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td><a href="index_record_Z.html">Z</a></td>
<td>_</td>
<td>other</td>
<td>(647 entries)</td>
</tr>
</table>
<hr/><a id="definition_C"></a><h2>C (definition)</h2>
<a href="mathcomp.ssreflect.choice.html#CanHasChoice">CanHasChoice</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#CanIsCountable">CanIsCountable</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#CanIsFinite">CanIsFinite</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.eqtype.html#can_type">can_type</a> [in <a href="mathcomp.ssreflect.eqtype.html">mathcomp.ssreflect.eqtype</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_body__canonical__Monoid_ComLaw">capmx_body__canonical__Monoid_ComLaw</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_body__canonical__Monoid_Law">capmx_body__canonical__Monoid_Law</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_body__canonical__SemiGroup_ComLaw">capmx_body__canonical__SemiGroup_ComLaw</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_body__canonical__SemiGroup_Law">capmx_body__canonical__SemiGroup_Law</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_unlockable">capmx_unlockable</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_unlock_subterm">capmx_unlock_subterm</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_gen">capmx_gen</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_nop">capmx_nop</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_norm">capmx_norm</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx_witness">capmx_witness</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx.body">capmx.body</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#capmx.unlock">capmx.unlock</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.vector.html#capv">capv</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.field.fieldext.html#capv_aspace">capv_aspace</a> [in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#card_unlock">card_unlock</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#card_unlock_subterm">card_unlock_subterm</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#card.body">card.body</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#card.unlock">card.unlock</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.algebra.matrix.html#castmx">castmx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.fingroup.perm.html#cast_perm">cast_perm</a> [in <a href="mathcomp.fingroup.perm.html">mathcomp.fingroup.perm</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#cast_bseq">cast_bseq</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#cast_ord">cast_ord</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.seq.html#cat">cat</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/>
<a href="mathcomp.ssreflect.seq.html#catrev">catrev</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#cat_bseq">cat_bseq</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#cat_tuple">cat_tuple</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.fingroup.action.html#Cayley_repr">Cayley_repr</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.field.algC.html#Cchar">Cchar</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/>
<a href="mathcomp.solvable.center.html#center">center</a> [in <a href="mathcomp.solvable.center.html">mathcomp.solvable.center</a>]<br/>
<a href="mathcomp.solvable.center.html#center_pgFun">center_pgFun</a> [in <a href="mathcomp.solvable.center.html">mathcomp.solvable.center</a>]<br/>
<a href="mathcomp.solvable.center.html#center_gFun">center_gFun</a> [in <a href="mathcomp.solvable.center.html">mathcomp.solvable.center</a>]<br/>
<a href="mathcomp.solvable.center.html#center_igFun">center_igFun</a> [in <a href="mathcomp.solvable.center.html">mathcomp.solvable.center</a>]<br/>
<a href="mathcomp.solvable.center.html#center_group">center_group</a> [in <a href="mathcomp.solvable.center.html">mathcomp.solvable.center</a>]<br/>
<a href="mathcomp.field.falgebra.html#center_aspace">center_aspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.falgebra.html#center_vspace">center_vspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#center_mx">center_mx</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#centgmx">centgmx</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#centralised">centralised</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#centraliser">centraliser</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#centraliser_group">centraliser_group</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.field.falgebra.html#centraliser_aspace">centraliser_aspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.falgebra.html#centraliser_vspace">centraliser_vspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.falgebra.html#centraliser1_aspace">centraliser1_aspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.falgebra.html#centraliser1_vspace">centraliser1_vspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#centralises">centralises</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.gproduct.html#central_product">central_product</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/>
<a href="mathcomp.solvable.gseries.html#central_factor">central_factor</a> [in <a href="mathcomp.solvable.gseries.html">mathcomp.solvable.gseries</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#cent_mx">cent_mx</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#cent_mx_fun">cent_mx_fun</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.character.classfun.html#cfaithful">cfaithful</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfAut">cfAut</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfAut_closed">cfAut_closed</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfBigdprod">cfBigdprod</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfBigdprodi">cfBigdprodi</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.character.html#cfcenter">cfcenter</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfcenter_group">cfcenter_group</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.inertia.html#cfclass">cfclass</a> [in <a href="mathcomp.character.inertia.html">mathcomp.character.inertia</a>]<br/>
<a href="mathcomp.character.inertia.html#cfclass_Iirr">cfclass_Iirr</a> [in <a href="mathcomp.character.inertia.html">mathcomp.character.inertia</a>]<br/>
<a href="mathcomp.character.vcharacter.html#cfConjC_vchar">cfConjC_vchar</a> [in <a href="mathcomp.character.vcharacter.html">mathcomp.character.vcharacter</a>]<br/>
<a href="mathcomp.character.classfun.html#cfconjC_eq1">cfconjC_eq1</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfConjC_subset">cfConjC_subset</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.inertia.html#cfConjg">cfConjg</a> [in <a href="mathcomp.character.inertia.html">mathcomp.character.inertia</a>]<br/>
<a href="mathcomp.character.character.html#cfDet_order_dvdG">cfDet_order_dvdG</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfDet_order_lin">cfDet_order_lin</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfDet_order">cfDet_order</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfDet_unlockable">cfDet_unlockable</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfDet_unlock_subterm">cfDet_unlock_subterm</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfDet.body">cfDet.body</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfDet.unlock">cfDet.unlock</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.classfun.html#cfdot">cfdot</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfdotr">cfdotr</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfdot_Res_r">cfdot_Res_r</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfDprod">cfDprod</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfDprodl">cfDprodl</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfDprodr">cfDprodr</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.character.html#cfIirr">cfIirr</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.classfun.html#cfInd">cfInd</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfIsom">cfIsom</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfIsom_unlockable">cfIsom_unlockable</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfker">cfker</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfker_conjC">cfker_conjC</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfker_group">cfker_group</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfMod">cfMod</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfMorph">cfMorph</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfnorm">cfnorm</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cforder">cforder</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfQuo">cfQuo</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfReal">cfReal</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.character.html#cfReg">cfReg</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#cfRepr">cfRepr</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.classfun.html#cfRes">cfRes</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfSdprod">cfSdprod</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfSdprod_unlockable">cfSdprod_unlockable</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#Cfun">Cfun</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_base">cfun_base</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_vectType">cfun_vectType</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_ringType">cfun_ringType</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_scale">cfun_scale</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_inv">cfun_inv</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_unit">cfun_unit</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_mul">cfun_mul</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_indicator">cfun_indicator</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_add">cfun_add</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_opp">cfun_opp</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_comp">cfun_comp</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_zero">cfun_zero</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#cfun_eqType">cfun_eqType</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.ssreflect.ssrAC.html#change_type">change_type</a> [in <a href="mathcomp.ssreflect.ssrAC.html">mathcomp.ssreflect.ssrAC</a>]<br/>
<a href="mathcomp.character.character.html#character">character</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.fingroup.automorphism.html#characteristic">characteristic</a> [in <a href="mathcomp.fingroup.automorphism.html">mathcomp.fingroup.automorphism</a>]<br/>
<a href="mathcomp.character.character.html#character_table">character_table</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_linear_char_pred__canonical__GRing_DivClosed">character_linear_char_pred__canonical__GRing_DivClosed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_linear_char_pred__canonical__GRing_MulClosed">character_linear_char_pred__canonical__GRing_MulClosed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_linear_char_pred__canonical__GRing_Mul2Closed">character_linear_char_pred__canonical__GRing_Mul2Closed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_character_pred__canonical__GRing_SemiringClosed">character_character_pred__canonical__GRing_SemiringClosed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_character_pred__canonical__GRing_MulClosed">character_character_pred__canonical__GRing_MulClosed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_character_pred__canonical__GRing_Semiring2Closed">character_character_pred__canonical__GRing_Semiring2Closed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_character_pred__canonical__GRing_Mul2Closed">character_character_pred__canonical__GRing_Mul2Closed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_character_pred__canonical__GRing_AddClosed">character_character_pred__canonical__GRing_AddClosed</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_pred">character_pred</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_xcfun_r__canonical__GRing_Additive">character_xcfun_r__canonical__GRing_Additive</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_xcfun__canonical__GRing_Additive">character_xcfun__canonical__GRing_Additive</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_trow__canonical__GRing_Linear">character_trow__canonical__GRing_Linear</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_trow__canonical__GRing_Additive">character_trow__canonical__GRing_Additive</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_trowb__canonical__GRing_Linear">character_trowb__canonical__GRing_Linear</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.character.html#character_trowb__canonical__GRing_Additive">character_trowb__canonical__GRing_Additive</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.solvable.maximal.html#charsimple">charsimple</a> [in <a href="mathcomp.solvable.maximal.html">mathcomp.solvable.maximal</a>]<br/>
<a href="mathcomp.algebra.mxpoly.html#char_poly">char_poly</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
<a href="mathcomp.algebra.mxpoly.html#char_poly_mx">char_poly_mx</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
<a href="mathcomp.solvable.gseries.html#chief_factor">chief_factor</a> [in <a href="mathcomp.solvable.gseries.html">mathcomp.solvable.gseries</a>]<br/>
<a href="mathcomp.ssreflect.div.html#chinese">chinese</a> [in <a href="mathcomp.ssreflect.div.html">mathcomp.ssreflect.div</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Countable__to__choice_Choice_isCountable__43">choice_Countable__to__choice_Choice_isCountable__43</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Countable__to__eqtype_hasDecEq__41">choice_Countable__to__eqtype_hasDecEq__41</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Countable__to__choice_hasChoice__39">choice_Countable__to__choice_hasChoice__39</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.generic_quotient.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Countable__to__choice_Choice_isCountable__35">choice_Countable__to__choice_Choice_isCountable__35</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Countable__to__eqtype_hasDecEq__33">choice_Countable__to__eqtype_hasDecEq__33</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Countable__to__choice_hasChoice__31">choice_Countable__to__choice_hasChoice__31</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Choice__to__eqtype_hasDecEq__27">choice_Choice__to__eqtype_hasDecEq__27</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Choice__to__choice_hasChoice__25">choice_Choice__to__choice_hasChoice__25</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__189">choice_Countable__to__choice_Choice_isCountable__189</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__eqtype_hasDecEq__187">choice_Countable__to__eqtype_hasDecEq__187</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_hasChoice__185">choice_Countable__to__choice_hasChoice__185</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__180">choice_Countable__to__choice_Choice_isCountable__180</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__eqtype_hasDecEq__178">choice_Countable__to__eqtype_hasDecEq__178</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_hasChoice__176">choice_Countable__to__choice_hasChoice__176</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__171">choice_Countable__to__choice_Choice_isCountable__171</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__eqtype_hasDecEq__169">choice_Countable__to__eqtype_hasDecEq__169</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_hasChoice__167">choice_Countable__to__choice_hasChoice__167</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__162">choice_Countable__to__choice_Choice_isCountable__162</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__eqtype_hasDecEq__160">choice_Countable__to__eqtype_hasDecEq__160</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_hasChoice__158">choice_Countable__to__choice_hasChoice__158</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__153">choice_Countable__to__choice_Choice_isCountable__153</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__eqtype_hasDecEq__151">choice_Countable__to__eqtype_hasDecEq__151</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_hasChoice__149">choice_Countable__to__choice_hasChoice__149</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__144">choice_Countable__to__choice_Choice_isCountable__144</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__138">choice_Countable__to__choice_Choice_isCountable__138</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__132">choice_Countable__to__choice_Choice_isCountable__132</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable__126">choice_Countable__to__choice_Choice_isCountable__126</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__eqtype_hasDecEq__116">choice_isCountable__to__eqtype_hasDecEq__116</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__choice_hasChoice__114">choice_isCountable__to__choice_hasChoice__114</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__choice_Choice_isCountable__112">choice_isCountable__to__choice_Choice_isCountable__112</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__eqtype_hasDecEq__99">choice_isCountable__to__eqtype_hasDecEq__99</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__choice_hasChoice__97">choice_isCountable__to__choice_hasChoice__97</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__choice_Choice_isCountable__95">choice_isCountable__to__choice_Choice_isCountable__95</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__eqtype_hasDecEq">choice_isCountable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__choice_hasChoice">choice_isCountable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_isCountable__to__choice_Choice_isCountable">choice_isCountable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice_isCountable.identity_builder">Choice_isCountable.identity_builder</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice_isCountable.phant_axioms">Choice_isCountable.phant_axioms</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice_isCountable.phant_Build">Choice_isCountable.phant_Build</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__eqtype_hasDecEq__75">choice_Choice__to__eqtype_hasDecEq__75</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__73">choice_Choice__to__choice_hasChoice__73</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__eqtype_hasDecEq__68">choice_Choice__to__eqtype_hasDecEq__68</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__66">choice_Choice__to__choice_hasChoice__66</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__eqtype_hasDecEq__61">choice_Choice__to__eqtype_hasDecEq__61</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__59">choice_Choice__to__choice_hasChoice__59</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__eqtype_hasDecEq__54">choice_Choice__to__eqtype_hasDecEq__54</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__52">choice_Choice__to__choice_hasChoice__52</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__eqtype_hasDecEq__47">choice_Choice__to__eqtype_hasDecEq__47</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__45">choice_Choice__to__choice_hasChoice__45</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__39">choice_Choice__to__choice_hasChoice__39</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__34">choice_Choice__to__choice_hasChoice__34</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__29">choice_Choice__to__choice_hasChoice__29</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice__24">choice_Choice__to__choice_hasChoice__24</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_extensional_subdef">choice_extensional_subdef</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_complete_subdef">choice_complete_subdef</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choice_correct_subdef">choice_correct_subdef</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Countable__to__choice_Choice_isCountable__39">choice_Countable__to__choice_Choice_isCountable__39</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Countable__to__eqtype_hasDecEq__37">choice_Countable__to__eqtype_hasDecEq__37</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Countable__to__choice_hasChoice__35">choice_Countable__to__choice_hasChoice__35</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Choice__to__eqtype_hasDecEq__21">choice_Choice__to__eqtype_hasDecEq__21</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Choice__to__choice_hasChoice__19">choice_Choice__to__choice_hasChoice__19</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.ssreflect.finfun.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.finfun.html">mathcomp.ssreflect.finfun</a>]<br/>
<a href="mathcomp.field.galois.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.field.galois.html">mathcomp.field.galois</a>]<br/>
<a href="mathcomp.field.galois.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.field.galois.html">mathcomp.field.galois</a>]<br/>
<a href="mathcomp.field.galois.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.field.galois.html">mathcomp.field.galois</a>]<br/>
<a href="mathcomp.field.fieldext.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/>
<a href="mathcomp.field.fieldext.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_Choice_isCountable__521">choice_Countable__to__choice_Choice_isCountable__521</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__eqtype_hasDecEq__519">choice_Countable__to__eqtype_hasDecEq__519</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_hasChoice__517">choice_Countable__to__choice_hasChoice__517</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_Choice_isCountable__444">choice_Countable__to__choice_Choice_isCountable__444</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__eqtype_hasDecEq__442">choice_Countable__to__eqtype_hasDecEq__442</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_hasChoice__440">choice_Countable__to__choice_hasChoice__440</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_Choice_isCountable__436">choice_Countable__to__choice_Choice_isCountable__436</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__eqtype_hasDecEq__434">choice_Countable__to__eqtype_hasDecEq__434</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_hasChoice__432">choice_Countable__to__choice_hasChoice__432</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_Choice_isCountable__237">choice_Countable__to__choice_Choice_isCountable__237</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__eqtype_hasDecEq__235">choice_Countable__to__eqtype_hasDecEq__235</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_hasChoice__233">choice_Countable__to__choice_hasChoice__233</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_Choice_isCountable__229">choice_Countable__to__choice_Choice_isCountable__229</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__eqtype_hasDecEq__227">choice_Countable__to__eqtype_hasDecEq__227</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_hasChoice__225">choice_Countable__to__choice_hasChoice__225</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.character.classfun.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.algebra.ssrint.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/>
<a href="mathcomp.algebra.ssrint.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/>
<a href="mathcomp.algebra.ssrint.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/>
<a href="mathcomp.field.finfield.html#choice_isCountable__to__choice_Choice_isCountable">choice_isCountable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.field.finfield.html">mathcomp.field.finfield</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#choice_isCountable__to__choice_Choice_isCountable">choice_isCountable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.solvable.extremal.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.solvable.extremal.html">mathcomp.solvable.extremal</a>]<br/>
<a href="mathcomp.solvable.extremal.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.solvable.extremal.html">mathcomp.solvable.extremal</a>]<br/>
<a href="mathcomp.solvable.extremal.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.solvable.extremal.html">mathcomp.solvable.extremal</a>]<br/>
<a href="mathcomp.algebra.rat.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/>
<a href="mathcomp.algebra.rat.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/>
<a href="mathcomp.algebra.vector.html#choice_Choice__to__eqtype_hasDecEq__83">choice_Choice__to__eqtype_hasDecEq__83</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#choice_Choice__to__choice_hasChoice__81">choice_Choice__to__choice_hasChoice__81</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#choice_Choice__to__eqtype_hasDecEq__57">choice_Choice__to__eqtype_hasDecEq__57</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#choice_Choice__to__choice_hasChoice__55">choice_Choice__to__choice_hasChoice__55</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.fraction.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/>
<a href="mathcomp.algebra.fraction.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_isCountable__to__eqtype_hasDecEq">choice_isCountable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_isCountable__to__choice_Choice_isCountable__51">choice_isCountable__to__choice_Choice_isCountable__51</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_isCountable__to__choice_hasChoice">choice_isCountable__to__choice_hasChoice</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#choice_isCountable__to__choice_Choice_isCountable">choice_isCountable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_Choice_isCountable__198">choice_Countable__to__choice_Choice_isCountable__198</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__eqtype_hasDecEq__196">choice_Countable__to__eqtype_hasDecEq__196</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_hasChoice__194">choice_Countable__to__choice_hasChoice__194</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_Choice_isCountable__190">choice_Countable__to__choice_Choice_isCountable__190</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__eqtype_hasDecEq__188">choice_Countable__to__eqtype_hasDecEq__188</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_hasChoice__186">choice_Countable__to__choice_hasChoice__186</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_Choice_isCountable__182">choice_Countable__to__choice_Choice_isCountable__182</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__eqtype_hasDecEq__180">choice_Countable__to__eqtype_hasDecEq__180</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_hasChoice__178">choice_Countable__to__choice_hasChoice__178</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_Choice_isCountable__174">choice_Countable__to__choice_Choice_isCountable__174</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__eqtype_hasDecEq__172">choice_Countable__to__eqtype_hasDecEq__172</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_hasChoice__170">choice_Countable__to__choice_hasChoice__170</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.field.falgebra.html#choice_Choice__to__choice_hasChoice__85">choice_Choice__to__choice_hasChoice__85</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.falgebra.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.falgebra.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.algebra.qpoly.html#choice_Countable__to__choice_Choice_isCountable">choice_Countable__to__choice_Choice_isCountable</a> [in <a href="mathcomp.algebra.qpoly.html">mathcomp.algebra.qpoly</a>]<br/>
<a href="mathcomp.algebra.qpoly.html#choice_Countable__to__eqtype_hasDecEq">choice_Countable__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.qpoly.html">mathcomp.algebra.qpoly</a>]<br/>
<a href="mathcomp.algebra.qpoly.html#choice_Countable__to__choice_hasChoice">choice_Countable__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.qpoly.html">mathcomp.algebra.qpoly</a>]<br/>
<a href="mathcomp.algebra.qpoly.html#choice_Choice__to__eqtype_hasDecEq">choice_Choice__to__eqtype_hasDecEq</a> [in <a href="mathcomp.algebra.qpoly.html">mathcomp.algebra.qpoly</a>]<br/>
<a href="mathcomp.algebra.qpoly.html#choice_Choice__to__choice_hasChoice">choice_Choice__to__choice_hasChoice</a> [in <a href="mathcomp.algebra.qpoly.html">mathcomp.algebra.qpoly</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice.Exports.choice_Choice__to__eqtype_Equality">Choice.Exports.choice_Choice__to__eqtype_Equality</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice.Exports.choice_Choice_class__to__eqtype_Equality_class">Choice.Exports.choice_Choice_class__to__eqtype_Equality_class</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice.pack_">Choice.pack_</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice.phant_on_">Choice.phant_on_</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Choice.phant_clone">Choice.phant_clone</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#choose">choose</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.field.algC.html#CintrE">CintrE</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/>
<a href="mathcomp.field.algnum.html#Cint_span">Cint_span</a> [in <a href="mathcomp.field.algnum.html">mathcomp.field.algnum</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#class">class</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#classes">classes</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfInd__canonical__GRing_Linear">classfun_cfInd__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfInd__canonical__GRing_Additive">classfun_cfInd__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfBigdprodi__canonical__GRing_LRMorphism">classfun_cfBigdprodi__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfBigdprodi__canonical__GRing_Linear">classfun_cfBigdprodi__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfBigdprodi__canonical__GRing_RMorphism">classfun_cfBigdprodi__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfBigdprodi__canonical__GRing_Additive">classfun_cfBigdprodi__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodr__canonical__GRing_LRMorphism">classfun_cfDprodr__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodr__canonical__GRing_Linear">classfun_cfDprodr__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodr__canonical__GRing_RMorphism">classfun_cfDprodr__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodr__canonical__GRing_Additive">classfun_cfDprodr__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodl__canonical__GRing_LRMorphism">classfun_cfDprodl__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodl__canonical__GRing_Linear">classfun_cfDprodl__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodl__canonical__GRing_RMorphism">classfun_cfDprodl__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfDprodl__canonical__GRing_Additive">classfun_cfDprodl__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfSdprod__canonical__GRing_LRMorphism">classfun_cfSdprod__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfSdprod__canonical__GRing_Linear">classfun_cfSdprod__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfSdprod__canonical__GRing_RMorphism">classfun_cfSdprod__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfSdprod__canonical__GRing_Additive">classfun_cfSdprod__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMod__canonical__GRing_LRMorphism">classfun_cfMod__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMod__canonical__GRing_Linear">classfun_cfMod__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMod__canonical__GRing_RMorphism">classfun_cfMod__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMod__canonical__GRing_Additive">classfun_cfMod__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfIsom__canonical__GRing_LRMorphism">classfun_cfIsom__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfIsom__canonical__GRing_Linear">classfun_cfIsom__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfIsom__canonical__GRing_RMorphism">classfun_cfIsom__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfIsom__canonical__GRing_Additive">classfun_cfIsom__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMorph__canonical__GRing_LRMorphism">classfun_cfMorph__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMorph__canonical__GRing_RMorphism">classfun_cfMorph__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMorph__canonical__GRing_Linear">classfun_cfMorph__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfMorph__canonical__GRing_Additive">classfun_cfMorph__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfRes__canonical__GRing_LRMorphism">classfun_cfRes__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfRes__canonical__GRing_RMorphism">classfun_cfRes__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfRes__canonical__GRing_Linear">classfun_cfRes__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfRes__canonical__GRing_Additive">classfun_cfRes__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfdot__canonical__GRing_Additive">classfun_cfdot__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfdotr__canonical__GRing_Linear">classfun_cfdotr__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfdotr__canonical__GRing_Additive">classfun_cfdotr__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_on">classfun_on</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__falgebra_Falgebra">classfun_classfun__canonical__falgebra_Falgebra</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__vector_Vector">classfun_classfun__canonical__vector_Vector</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfAut__canonical__GRing_LRMorphism">classfun_cfAut__canonical__GRing_LRMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfAut__canonical__GRing_Linear">classfun_cfAut__canonical__GRing_Linear</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfAut__canonical__GRing_RMorphism">classfun_cfAut__canonical__GRing_RMorphism</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_cfAut__canonical__GRing_Additive">classfun_cfAut__canonical__GRing_Additive</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_ComUnitAlgebra">classfun_classfun__canonical__GRing_ComUnitAlgebra</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_ComAlgebra">classfun_classfun__canonical__GRing_ComAlgebra</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_UnitAlgebra">classfun_classfun__canonical__GRing_UnitAlgebra</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_Algebra">classfun_classfun__canonical__GRing_Algebra</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_Lalgebra">classfun_classfun__canonical__GRing_Lalgebra</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_Lmodule">classfun_classfun__canonical__GRing_Lmodule</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_ComUnitRing">classfun_classfun__canonical__GRing_ComUnitRing</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_UnitRing">classfun_classfun__canonical__GRing_UnitRing</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_ComRing">classfun_classfun__canonical__GRing_ComRing</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_ComSemiRing">classfun_classfun__canonical__GRing_ComSemiRing</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_Ring">classfun_classfun__canonical__GRing_Ring</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_SemiRing">classfun_classfun__canonical__GRing_SemiRing</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_Zmodule">classfun_classfun__canonical__GRing_Zmodule</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__GRing_Nmodule">classfun_classfun__canonical__GRing_Nmodule</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__choice_SubChoice">classfun_classfun__canonical__choice_SubChoice</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__eqtype_SubEquality">classfun_classfun__canonical__eqtype_SubEquality</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__choice_Choice">classfun_classfun__canonical__choice_Choice</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__eqtype_Equality">classfun_classfun__canonical__eqtype_Equality</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#classfun_classfun__canonical__eqtype_SubType">classfun_classfun__canonical__eqtype_SubType</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#classg_base">classg_base</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#class_support">class_support</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.character.character.html#class_Iirr">class_Iirr</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#Clifford_action">Clifford_action</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#Clifford_act">Clifford_act</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.fingroup.action.html#clone_groupAction">clone_groupAction</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.action.html#clone_action">clone_action</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#clone_group">clone_group</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.morphism.html#clone_morphism">clone_morphism</a> [in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/>
<a href="mathcomp.field.falgebra.html#clone_aspace">clone_aspace</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.abstrX">ClosedFieldQE.abstrX</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.amulXnT">ClosedFieldQE.amulXnT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.bind">ClosedFieldQE.bind</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.cpsif">ClosedFieldQE.cpsif</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.eval_poly">ClosedFieldQE.eval_poly</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.ex_elim">ClosedFieldQE.ex_elim</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.ex_elim_seq">ClosedFieldQE.ex_elim_seq</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.isnull">ClosedFieldQE.isnull</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.lead_coefT">ClosedFieldQE.lead_coefT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.lift">ClosedFieldQE.lift</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.lt_sizeT">ClosedFieldQE.lt_sizeT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.mulpT">ClosedFieldQE.mulpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.natmulpT">ClosedFieldQE.natmulpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.opppT">ClosedFieldQE.opppT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.polyF">ClosedFieldQE.polyF</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.qf_cps">ClosedFieldQE.qf_cps</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.qf_red_cps">ClosedFieldQE.qf_red_cps</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rdivpT">ClosedFieldQE.rdivpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rdvdpT">ClosedFieldQE.rdvdpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.redivpT">ClosedFieldQE.redivpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.redivp_rec_loop">ClosedFieldQE.redivp_rec_loop</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.redivp_rec_loopT">ClosedFieldQE.redivp_rec_loopT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.ret">ClosedFieldQE.ret</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rgcdpT">ClosedFieldQE.rgcdpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rgcdpTs">ClosedFieldQE.rgcdpTs</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rgcdp_loopT">ClosedFieldQE.rgcdp_loopT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rgcdp_loop">ClosedFieldQE.rgcdp_loop</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rgdcopT">ClosedFieldQE.rgdcopT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rgdcop_recT">ClosedFieldQE.rgdcop_recT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rmodpT">ClosedFieldQE.rmodpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rpoly">ClosedFieldQE.rpoly</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.rscalpT">ClosedFieldQE.rscalpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.sizeT">ClosedFieldQE.sizeT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.field.closed_field.html#ClosedFieldQE.sumpT">ClosedFieldQE.sumpT</a> [in <a href="mathcomp.field.closed_field.html">mathcomp.field.closed_field</a>]<br/>
<a href="mathcomp.ssreflect.fingraph.html#closed_mem">closed_mem</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/>
<a href="mathcomp.ssreflect.fingraph.html#closure_mem">closure_mem</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#CodeSeq.code">CodeSeq.code</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#CodeSeq.decode">CodeSeq.decode</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#CodeSeq.decode_rec">CodeSeq.decode_rec</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.algebra.mxpoly.html#codiagonalizablePfull">codiagonalizablePfull</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
<a href="mathcomp.ssreflect.fintype.html#codom">codom</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#codom_tuple">codom_tuple</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.algebra.poly.html#coefE">coefE</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#coefp">coefp</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.matrix.html#cofactor">cofactor</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.ssreflect.finset.html#cofixset">cofixset</a> [in <a href="mathcomp.ssreflect.finset.html">mathcomp.ssreflect.finset</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#coin0">coin0</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#coin1">coin1</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#coin2">coin2</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#coin3">coin3</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#cokermx">cokermx</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.matrix.html#col">col</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#colors">colors</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.algebra.matrix.html#col_mxAx">col_mxAx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#col_mx">col_mx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#col_perm">col_perm</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#col_base">col_base</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#col_ebase">col_ebase</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.matrix.html#col'">col'</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#col0">col0</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#col1">col1</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#col2">col2</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#col3">col3</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#col4">col4</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.solvable.burnside_app.html#col5">col5</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#commg">commg</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#commg_set">commg_set</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.algebra.poly.html#commr_rmorph">commr_rmorph</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#commutator">commutator</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#commutator_group">commutator_group</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#commute">commute</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.algebra.matrix.html#comm_mxb">comm_mxb</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.matrix.html#comm_mx">comm_mx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.poly.html#comm_poly">comm_poly</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.poly.html#comm_coef">comm_coef</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.mxpoly.html#companionmx">companionmx</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
<a href="mathcomp.ssreflect.eqtype.html#comparable">comparable</a> [in <a href="mathcomp.ssreflect.eqtype.html">mathcomp.ssreflect.eqtype</a>]<br/>
<a href="mathcomp.ssreflect.eqtype.html#comparableMixin">comparableMixin</a> [in <a href="mathcomp.ssreflect.eqtype.html">mathcomp.ssreflect.eqtype</a>]<br/>
<a href="mathcomp.ssreflect.eqtype.html#compareb">compareb</a> [in <a href="mathcomp.ssreflect.eqtype.html">mathcomp.ssreflect.eqtype</a>]<br/>
<a href="mathcomp.fingroup.gproduct.html#complements_to_in">complements_to_in</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/>
<a href="mathcomp.algebra.mxalgebra.html#complmx">complmx</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/>
<a href="mathcomp.algebra.vector.html#complv">complv</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#component_mx_unfoldable">component_mx_unfoldable</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#component_mx">component_mx</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.character.mxrepresentation.html#component_mx_expr">component_mx_expr</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/>
<a href="mathcomp.solvable.jordanholder.html#comps">comps</a> [in <a href="mathcomp.solvable.jordanholder.html">mathcomp.solvable.jordanholder</a>]<br/>
<a href="mathcomp.fingroup.action.html#comp_groupAction">comp_groupAction</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.action.html#comp_action">comp_action</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.action.html#comp_act">comp_act</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.morphism.html#comp_morphism">comp_morphism</a> [in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/>
<a href="mathcomp.algebra.vector.html#comp_lfun">comp_lfun</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.poly.html#comp_poly">comp_poly</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.field.falgebra.html#comp_ahom">comp_ahom</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/>
<a href="mathcomp.algebra.matrix.html#conform_mx">conform_mx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.algebra.sesquilinear.html#conjC">conjC</a> [in <a href="mathcomp.algebra.sesquilinear.html">mathcomp.algebra.sesquilinear</a>]<br/>
<a href="mathcomp.character.character.html#conjC_Iirr">conjC_Iirr</a> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#conjg">conjg</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.automorphism.html#conjgm">conjgm</a> [in <a href="mathcomp.fingroup.automorphism.html">mathcomp.fingroup.automorphism</a>]<br/>
<a href="mathcomp.fingroup.automorphism.html#conjgm_morphism">conjgm_morphism</a> [in <a href="mathcomp.fingroup.automorphism.html">mathcomp.fingroup.automorphism</a>]<br/>
<a href="mathcomp.character.inertia.html#conjg_Iirr">conjg_Iirr</a> [in <a href="mathcomp.character.inertia.html">mathcomp.character.inertia</a>]<br/>
<a href="mathcomp.fingroup.action.html#conjG_action">conjG_action</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.action.html#conjg_groupAction">conjg_groupAction</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.action.html#conjg_action">conjg_action</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#conjG_group">conjG_group</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.algebra.mxpoly.html#conjmx">conjmx</a> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/>
<a href="mathcomp.algebra.mxred.html#conjmx">conjmx</a> [in <a href="mathcomp.algebra.mxred.html">mathcomp.algebra.mxred</a>]<br/>
<a href="mathcomp.fingroup.action.html#conjsg_action">conjsg_action</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#conjugate">conjugate</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.fingroup.html#conjugates">conjugates</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/>
<a href="mathcomp.fingroup.automorphism.html#conj_aut_morphism">conj_aut_morphism</a> [in <a href="mathcomp.fingroup.automorphism.html">mathcomp.fingroup.automorphism</a>]<br/>
<a href="mathcomp.fingroup.automorphism.html#conj_aut">conj_aut</a> [in <a href="mathcomp.fingroup.automorphism.html">mathcomp.fingroup.automorphism</a>]<br/>
<a href="mathcomp.character.classfun.html#conj_cfInd">conj_cfInd</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#conj_cfMod">conj_cfMod</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#conj_cfQuo">conj_cfQuo</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.character.classfun.html#conj_cfRes">conj_cfRes</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/>
<a href="mathcomp.ssreflect.fingraph.html#connect">connect</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/>
<a href="mathcomp.ssreflect.fingraph.html#connect_sym">connect_sym</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/>
<a href="mathcomp.ssreflect.fingraph.html#connect_app_pred">connect_app_pred</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/>
<a href="mathcomp.ssreflect.seq.html#constant">constant</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/>
<a href="mathcomp.solvable.pgroup.html#constt">constt</a> [in <a href="mathcomp.solvable.pgroup.html">mathcomp.solvable.pgroup</a>]<br/>
<a href="mathcomp.algebra.matrix.html#const_mx">const_mx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#cons_bseq">cons_bseq</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.tuple.html#cons_tuple">cons_tuple</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/>
<a href="mathcomp.ssreflect.seq.html#cons_perms_">cons_perms_</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/>
<a href="mathcomp.algebra.poly.html#cons_poly">cons_poly</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/>
<a href="mathcomp.algebra.vector.html#coord">coord</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#coord_unlockable">coord_unlockable</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.vector.html#coord_expanded_def">coord_expanded_def</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/>
<a href="mathcomp.algebra.matrix.html#copid_mx">copid_mx</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.ssreflect.div.html#coprime">coprime</a> [in <a href="mathcomp.ssreflect.div.html">mathcomp.ssreflect.div</a>]<br/>
<a href="mathcomp.algebra.intdiv.html#coprimez">coprimez</a> [in <a href="mathcomp.algebra.intdiv.html">mathcomp.algebra.intdiv</a>]<br/>
<a href="mathcomp.algebra.matrix.html#cormen_lup">cormen_lup</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/>
<a href="mathcomp.fingroup.quotient.html#coset">coset</a> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/>
<a href="mathcomp.fingroup.quotient.html#coset_morphism">coset_morphism</a> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/>
<a href="mathcomp.fingroup.quotient.html#coset_inv">coset_inv</a> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/>
<a href="mathcomp.fingroup.quotient.html#coset_mul">coset_mul</a> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/>
<a href="mathcomp.fingroup.quotient.html#coset_one">coset_one</a> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/>
<a href="mathcomp.fingroup.quotient.html#coset_range">coset_range</a> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/>
<a href="mathcomp.ssreflect.seq.html#count">count</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.Exports.choice_Countable__to__choice_Choice">Countable.Exports.choice_Countable__to__choice_Choice</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.Exports.choice_Countable_class__to__choice_Choice_class">Countable.Exports.choice_Countable_class__to__choice_Choice_class</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.Exports.choice_Countable__to__eqtype_Equality">Countable.Exports.choice_Countable__to__eqtype_Equality</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.Exports.choice_Countable_class__to__eqtype_Equality_class">Countable.Exports.choice_Countable_class__to__eqtype_Equality_class</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.pack_">Countable.pack_</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.phant_on_">Countable.phant_on_</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.ssreflect.choice.html#Countable.phant_clone">Countable.phant_clone</a> [in <a href="mathcomp.ssreflect.choice.html">mathcomp.ssreflect.choice</a>]<br/>
<a href="mathcomp.algebra.countalg.html#CountRing.ClosedField.Exports.CountRing_ClosedField__to__CountRing_DecidableField">CountRing.ClosedField.Exports.CountRing_ClosedField__to__CountRing_DecidableField</a> [in <a href="mathcomp.algebra.countalg.html">mathcomp.algebra.countalg</a>]<br/>
<a href="mathcomp.algebra.countalg.html#CountRing.ClosedField.Exports.CountRing_ClosedField_class__to__CountRing_DecidableField_class">CountRing.ClosedField.Exports.CountRing_ClosedField_class__to__CountRing_DecidableField_class</a> [in <a href="mathcomp.algebra.countalg.html">mathcomp.algebra.countalg</a>]<br/>
<a href="mathcomp.algebra.countalg.html#CountRing.ClosedField.Exports.CountRing_ClosedField__to__CountRing_Field">CountRing.ClosedField.Exports.CountRing_ClosedField__to__CountRing_Field</a> [in <a href="mathcomp.algebra.countalg.html">mathcomp.algebra.countalg</a>]<br/>
<a href="mathcomp.algebra.countalg.html#CountRing.ClosedField.Exports.CountRing_ClosedField_class__to__CountRing_Field_class">CountRing.ClosedField.Exports.CountRing_ClosedField_class__to__CountRing_Field_class</a> [in <a href="mathcomp.algebra.countalg.html">mathcomp.algebra.countalg</a>]<br/>
<a href="mathcomp.algebra.countalg.html#CountRing.ClosedField.Exports.CountRing_ClosedField__to__CountRing_IntegralDomain">CountRing.ClosedField.Exports.CountRing_ClosedField__to__CountRing_IntegralDomain</a> [in <a href="mathcomp.algebra.countalg.html">mathcomp.algebra.countalg</a>]<br/>