diff options
| author | Cyril Cohen | 2019-10-16 11:26:43 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-10-16 11:26:43 +0200 |
| commit | 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb (patch) | |
| tree | 1239c1d5553d51a7d73f2f8b465f6a23178ff8a0 /docs/htmldoc/index_global_R.html | |
| parent | dd82aaeae7e9478efc178ce8430986649555b032 (diff) | |
removing everything but index which redirects to the new page
Diffstat (limited to 'docs/htmldoc/index_global_R.html')
| -rw-r--r-- | docs/htmldoc/index_global_R.html | 1930 |
1 files changed, 0 insertions, 1930 deletions
diff --git a/docs/htmldoc/index_global_R.html b/docs/htmldoc/index_global_R.html deleted file mode 100644 index 85289b0..0000000 --- a/docs/htmldoc/index_global_R.html +++ /dev/null @@ -1,1930 +0,0 @@ -<!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.test_suite.hierarchy_test</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>(23836 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>H</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>O</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>(1409 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>H</td> -<td><a href="index_module_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td><a href="index_module_M.html">M</a></td> -<td><a href="index_module_N.html">N</a></td> -<td>O</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>T</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>Z</td> -<td>_</td> -<td>other</td> -<td>(221 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>(3574 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>O</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>(90 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>(12096 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>(368 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>D</td> -<td><a href="index_axiom_E.html">E</a></td> -<td><a href="index_axiom_F.html">F</a></td> -<td>G</td> -<td>H</td> -<td><a href="index_axiom_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td>M</td> -<td>N</td> -<td>O</td> -<td><a href="index_axiom_P.html">P</a></td> -<td>Q</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>(45 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>(107 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>H</td> -<td><a href="index_projection_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td><a href="index_projection_M.html">M</a></td> -<td><a href="index_projection_N.html">N</a></td> -<td>O</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>(273 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>(1140 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>(728 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>(3596 entries)</td> -</tr> -<tr> -<td>Record Index</td> -<td><a href="index_record_A.html">A</a></td> -<td>B</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>H</td> -<td><a href="index_record_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td><a href="index_record_M.html">M</a></td> -<td><a href="index_record_N.html">N</a></td> -<td>O</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>(189 entries)</td> -</tr> -</table> -<hr/><a name="global_R"></a><h2>R </h2> -<a href="mathcomp.field.finfield.html#R">R</a> [abbreviation, in <a href="mathcomp.field.finfield.html">mathcomp.field.finfield</a>]<br/> -<a href="mathcomp.field.finfield.html#R">R</a> [abbreviation, in <a href="mathcomp.field.finfield.html">mathcomp.field.finfield</a>]<br/> -<a href="mathcomp.character.mxabelem.html#r">r</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.fingroup.action.html#ract">ract</a> [definition, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#ractE">ractE</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#ractpermE">ractpermE</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#ract_is_groupAction">ract_is_groupAction</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#ract_is_action">ract_is_action</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#raddfMz">raddfMz</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.field.algC.html#raddfZ_Cint">raddfZ_Cint</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#raddfZ_Cnat">raddfZ_Cnat</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#raddf_int_scalable">raddf_int_scalable</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.fingroup.action.html#range">range</a> [abbreviation, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank">rank</a> [definition, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rankJ">rankJ</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rankS">rankS</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rank_Wedderburn_subring">rank_Wedderburn_subring</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rank_irr_comp">rank_irr_comp</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rank_irr1">rank_irr1</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.solvable.extraspecial.html#rank_DnQ">rank_DnQ</a> [lemma, in <a href="mathcomp.solvable.extraspecial.html">mathcomp.solvable.extraspecial</a>]<br/> -<a href="mathcomp.solvable.extraspecial.html#rank_Dn">rank_Dn</a> [lemma, in <a href="mathcomp.solvable.extraspecial.html">mathcomp.solvable.extraspecial</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_cycle">rank_cycle</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_abelian_pgroup">rank_abelian_pgroup</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_Ohm1">rank_Ohm1</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_geP">rank_geP</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_abelem">rank_abelem</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_Sylow">rank_Sylow</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_pgroup">rank_pgroup</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_witness">rank_witness</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_gt0">rank_gt0</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rank_mx_group">rank_mx_group</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_copid_mx">rank_copid_mx</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_pid_mx">rank_pid_mx</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_ltmx">rank_ltmx</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_rV">rank_rV</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_leq_col">rank_leq_col</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_leq_row">rank_leq_row</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank1">rank1</a> [lemma, in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat">rat</a> [record, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#Rat">Rat</a> [constructor, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html">rat</a> [library]<br/> -<a href="mathcomp.field.algC.html#ratCK">ratCK</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.rat.html#RatFieldIdomainMixin">RatFieldIdomainMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#RatFieldUnitMixin">RatFieldUnitMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.fraction.html#Ratio">Ratio</a> [definition, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#ratio">ratio</a> [record, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#RatioNonNull">RatioNonNull</a> [constructor, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#RatioNull">RatioNull</a> [constructor, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#RatioP">RatioP</a> [lemma, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#Ratio_numden">Ratio_numden</a> [lemma, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#Ratio_spec">Ratio_spec</a> [inductive, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#ratio_ChoiceMixin">ratio_ChoiceMixin</a> [definition, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#ratio_EqMixin">ratio_EqMixin</a> [definition, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#ratio_of">ratio_of</a> [definition, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#Ratio0">Ratio0</a> [lemma, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#ratio0">ratio0</a> [definition, in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.rat.html#RatK">RatK</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratLeMixin">ratLeMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratP">ratP</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr">ratr</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_norm">ratr_norm</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_sg">ratr_sg</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_is_rmorphism">ratr_is_rmorphism</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_nat">ratr_nat</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_int">ratr_int</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratz">ratz</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzD">ratzD</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzE">ratzE</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzM">ratzM</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzN">ratzN</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratz_frac">ratz_frac</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_field_theory">rat_field_theory</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_ring_theory">rat_ring_theory</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_lrmorphism">rat_lrmorphism</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_linear">rat_linear</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_archimedean">rat_archimedean</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#Rat_spec">Rat_spec</a> [constructor, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_spec">rat_spec</a> [inductive, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_field_axiom">rat_field_axiom</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_comRingMixin">rat_comRingMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_ZmodMixin">rat_ZmodMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_eq">rat_eq</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_eqE">rat_eqE</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_countMixin">rat_countMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_choiceMixin">rat_choiceMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_eqMixin">rat_eqMixin</a> [definition, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.intdiv.html#rat_poly_scale">rat_poly_scale</a> [lemma, in <a href="mathcomp.algebra.intdiv.html">mathcomp.algebra.intdiv</a>]<br/> -<a href="mathcomp.field.algebraics_fundamentals.html#rat_algebraic_decidable">rat_algebraic_decidable</a> [lemma, in <a href="mathcomp.field.algebraics_fundamentals.html">mathcomp.field.algebraics_fundamentals</a>]<br/> -<a href="mathcomp.field.algebraics_fundamentals.html#rat_algebraic_archimedean">rat_algebraic_archimedean</a> [lemma, in <a href="mathcomp.field.algebraics_fundamentals.html">mathcomp.field.algebraics_fundamentals</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat0">rat0</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat1">rat1</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction">RawAction</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.ActsSetop">RawAction.ActsSetop</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.ActsSetop.A">RawAction.ActsSetop.A</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.ActsSetop.AactS">RawAction.ActsSetop.AactS</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.ActsSetop.AactT">RawAction.ActsSetop.AactT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.ActsSetop.S">RawAction.ActsSetop.S</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.ActsSetop.T">RawAction.ActsSetop.T</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.aT">RawAction.aT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.D">RawAction.D</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.Reindex">RawAction.Reindex</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.Reindex.idx">RawAction.Reindex.idx</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.Reindex.op">RawAction.Reindex.op</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.Reindex.S">RawAction.Reindex.S</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.Reindex.vT">RawAction.Reindex.vT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.rT">RawAction.rT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawAction.to">RawAction.to</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction">RawGroupAction</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.A">RawGroupAction.A</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.a">RawGroupAction.a</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.aT">RawGroupAction.aT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.B">RawGroupAction.B</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.D">RawGroupAction.D</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.Da">RawGroupAction.Da</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.R">RawGroupAction.R</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.rT">RawGroupAction.rT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.S">RawGroupAction.S</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.sAD">RawGroupAction.sAD</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.sSR">RawGroupAction.sSR</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RawGroupAction.to">RawGroupAction.to</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent">rcent</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcenter">rcenter</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcenter_normal">rcenter_normal</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcenter_group_set">rcenter_group_set</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_map">rcent_map</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_quo">rcent_quo</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_conj">rcent_conj</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_eqg">rcent_eqg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_subg">rcent_subg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_group_set">rcent_group_set</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_sub">rcent_sub</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rconj_mxJ">rconj_mxJ</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rconj_mxE">rconj_mxE</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rconj_mx_repr">rconj_mx_repr</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rconj_mx">rconj_mx</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons">rcons</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rcons_path">rcons_path</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rcons_tupleP">rcons_tupleP</a> [lemma, in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_uniq">rcons_uniq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_injr">rcons_injr</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_injl">rcons_injl</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_inj">rcons_inj</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_cat">rcons_cat</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_cons">rcons_cons</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset">rcoset</a> [definition, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetE">rcosetE</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetK">rcosetK</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetKV">rcosetKV</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetM">rcosetM</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetP">rcosetP</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#RcosetReprSpec">RcosetReprSpec</a> [constructor, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetS">rcosetS</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosets">rcosets</a> [definition, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetsP">rcosetsP</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.solvable.finmodule.html#rcosets_cycle_transversal">rcosets_cycle_transversal</a> [lemma, in <a href="mathcomp.solvable.finmodule.html">mathcomp.solvable.finmodule</a>]<br/> -<a href="mathcomp.solvable.finmodule.html#rcosets_cycle_partition">rcosets_cycle_partition</a> [lemma, in <a href="mathcomp.solvable.finmodule.html">mathcomp.solvable.finmodule</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosets_partition">rcosets_partition</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosets_partition_mul">rcosets_partition_mul</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosets_id">rcosets_id</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#rcoset_kercosetP">rcoset_kercosetP</a> [lemma, in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/> -<a href="mathcomp.fingroup.action.html#rcoset_is_action">rcoset_is_action</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#rcoset_kerP">rcoset_kerP</a> [lemma, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_index2">rcoset_index2</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_mul">rcoset_mul</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_repr">rcoset_repr</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_repr_spec">rcoset_repr_spec</a> [inductive, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_id">rcoset_id</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_trans">rcoset_trans</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_transl">rcoset_transl</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_eqP">rcoset_eqP</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_sym">rcoset_sym</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_refl">rcoset_refl</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_inj">rcoset_inj</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset1">rcoset1</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.character.character.html#rdegree">rdegree</a> [projection, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.algebra.ssrnum.html#RealLeAxiom">RealLeAxiom</a> [abbreviation, in <a href="mathcomp.algebra.ssrnum.html">mathcomp.algebra.ssrnum</a>]<br/> -<a href="mathcomp.algebra.ssrnum.html#RealLeMixin">RealLeMixin</a> [abbreviation, in <a href="mathcomp.algebra.ssrnum.html">mathcomp.algebra.ssrnum</a>]<br/> -<a href="mathcomp.algebra.ssrnum.html#RealLtMixin">RealLtMixin</a> [abbreviation, in <a href="mathcomp.algebra.ssrnum.html">mathcomp.algebra.ssrnum</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#realz">realz</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.interval.html#real_lersif_normr">real_lersif_normr</a> [lemma, in <a href="mathcomp.algebra.interval.html">mathcomp.algebra.interval</a>]<br/> -<a href="mathcomp.algebra.interval.html#real_lersif_norml">real_lersif_norml</a> [lemma, in <a href="mathcomp.algebra.interval.html">mathcomp.algebra.interval</a>]<br/> -<a href="mathcomp.algebra.interval.html#real_lersifN">real_lersifN</a> [lemma, in <a href="mathcomp.algebra.interval.html">mathcomp.algebra.interval</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reducebig">reducebig</a> [definition, in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#reducible_Socle1">reducible_Socle1</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#reducible_Socle">reducible_Socle</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.field.fieldext.html#refBaseField">refBaseField</a> [definition, in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.field.fieldext.html#refBaseField_key">refBaseField_key</a> [lemma, in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp">ReflectProp</a> [section, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.aT">ReflectProp.aT</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Defs">ReflectProp.Defs</a> [section, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Defs.A">ReflectProp.Defs.A</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Defs.B">ReflectProp.Defs.B</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Defs.MorphicProps">ReflectProp.Defs.MorphicProps</a> [section, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Defs.MorphicProps.f">ReflectProp.Defs.MorphicProps.f</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.f">ReflectProp.f</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.G">ReflectProp.G</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Main">ReflectProp.Main</a> [section, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Main.f">ReflectProp.Main.f</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Main.G">ReflectProp.Main.G</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Main.H">ReflectProp.Main.H</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.Main.isoGH">ReflectProp.Main.isoGH</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#ReflectProp.rT">ReflectProp.rT</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#15b170ccfc7a6d3581c701a5a0793622">_ \isog _</a> [notation, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.algebra.vector.html#RegularVectType">RegularVectType</a> [section, in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/> -<a href="mathcomp.algebra.vector.html#RegularVectType.R">RegularVectType.R</a> [variable, in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/> -<a href="mathcomp.field.galois.html#regular_splittingAxiom">regular_splittingAxiom</a> [lemma, in <a href="mathcomp.field.galois.html">mathcomp.field.galois</a>]<br/> -<a href="mathcomp.solvable.frobenius.html#regular_norm_coprime">regular_norm_coprime</a> [lemma, in <a href="mathcomp.solvable.frobenius.html">mathcomp.solvable.frobenius</a>]<br/> -<a href="mathcomp.solvable.frobenius.html#regular_norm_dvd_pred">regular_norm_dvd_pred</a> [lemma, in <a href="mathcomp.solvable.frobenius.html">mathcomp.solvable.frobenius</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#regular_op_inj">regular_op_inj</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#regular_module_ideal">regular_module_ideal</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#regular_mx_faithful">regular_mx_faithful</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#regular_mx_repr">regular_mx_repr</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#regular_mx">regular_mx</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.algebra.vector.html#regular_vectMixin">regular_vectMixin</a> [definition, in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/> -<a href="mathcomp.algebra.vector.html#regular_vect_iso">regular_vect_iso</a> [lemma, in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/> -<a href="mathcomp.field.falgebra.html#regular_fullv">regular_fullv</a> [lemma, in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reindex">reindex</a> [lemma, in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.fingroup.perm.html#reindex_perm">reindex_perm</a> [abbreviation, in <a href="mathcomp.fingroup.perm.html">mathcomp.fingroup.perm</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#reindex_bigcprod">reindex_bigcprod</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.character.character.html#reindex_irr_class">reindex_irr_class</a> [lemma, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.inertia.html#reindex_cfclass">reindex_cfclass</a> [lemma, in <a href="mathcomp.character.inertia.html">mathcomp.character.inertia</a>]<br/> -<a href="mathcomp.fingroup.action.html#reindex_acts">reindex_acts</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#reindex_astabs">reindex_astabs</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.classfun.html#reindex_dprod">reindex_dprod</a> [lemma, in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reindex_inj">reindex_inj</a> [lemma, in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reindex_onto">reindex_onto</a> [lemma, in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction">RelAdjunction</a> [constructor, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction">RelAdjunction</a> [section, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.a">RelAdjunction.a</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.ccl_a">RelAdjunction.ccl_a</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.cl_a">RelAdjunction.cl_a</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.e">RelAdjunction.e</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.e'">RelAdjunction.e'</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.h">RelAdjunction.h</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.sym_e'">RelAdjunction.sym_e'</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.sym_e">RelAdjunction.sym_e</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.T">RelAdjunction.T</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#RelAdjunction.T'">RelAdjunction.T'</a> [variable, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.ssrbool.html#relpre">relpre</a> [definition, in <a href="mathcomp.ssreflect.ssrbool.html">mathcomp.ssreflect.ssrbool</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#relU_sym">relU_sym</a> [lemma, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rel_base">rel_base</a> [definition, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rel_adjunction">rel_adjunction</a> [abbreviation, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rel_adjunction">rel_adjunction</a> [abbreviation, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rel_functor">rel_functor</a> [projection, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rel_unit">rel_unit</a> [projection, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rel_adjunction_mem">rel_adjunction_mem</a> [record, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem">rem</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#Rem">Rem</a> [section, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgr">remgr</a> [definition, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrM">remgrM</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrMid">remgrMid</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrMl">remgrMl</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrP">remgrP</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgr_id">remgr_id</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgr1">remgr1</a> [lemma, in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_filter">rem_filter</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_uniq">rem_uniq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_subseq">rem_subseq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_id">rem_id</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#Rem.T">Rem.T</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#Rem.x">Rem.x</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#repr">repr</a> [abbreviation, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#Repr">Repr</a> [module, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr">repr</a> [definition, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#Repr">Repr</a> [section, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.character.character.html#representation">representation</a> [record, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#Representation">Representation</a> [constructor, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#reprG">reprG</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.character.html#reprG">reprG</a> [abbreviation, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#reprG">reprG</a> [abbreviation, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.mxabelem.html#reprGLm">reprGLm</a> [definition, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#reprGLmM">reprGLmM</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#reprK">reprK</a> [lemma, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#ReprSig">ReprSig</a> [module, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#ReprSig.E">ReprSig.E</a> [axiom, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#ReprSig.f">ReprSig.f</a> [axiom, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#repr_coset_norm">repr_coset_norm</a> [lemma, in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#repr_coset1">repr_coset1</a> [lemma, in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mx_free">repr_mx_free</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxX">repr_mxX</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mx_unitr">repr_mx_unitr</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxVr">repr_mxVr</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxMr">repr_mxMr</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxV">repr_mxV</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mx_unit">repr_mx_unit</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxKV">repr_mxKV</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxK">repr_mxK</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxM">repr_mxM</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mx1">repr_mx1</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mx">repr_mx</a> [projection, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#repr_ofK">repr_ofK</a> [lemma, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#repr_of">repr_of</a> [definition, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.character.character.html#repr_irr_classK">repr_irr_classK</a> [lemma, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#repr_rsim_diag">repr_rsim_diag</a> [lemma, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_classesP">repr_classesP</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_class">repr_class</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_rcosetP">repr_rcosetP</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_group">repr_group</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_set0">repr_set0</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_set1">repr_set1</a> [lemma, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.ssreflect.finset.html#repr_mem_transversal">repr_mem_transversal</a> [lemma, in <a href="mathcomp.ssreflect.finset.html">mathcomp.ssreflect.finset</a>]<br/> -<a href="mathcomp.ssreflect.finset.html#repr_mem_pblock">repr_mem_pblock</a> [lemma, in <a href="mathcomp.ssreflect.finset.html">mathcomp.ssreflect.finset</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#Repr.E">Repr.E</a> [definition, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#Repr.f">Repr.f</a> [definition, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#Repr.gT">Repr.gT</a> [variable, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape">reshape</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshapeKl">reshapeKl</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshapeKr">reshapeKr</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_leq">reshape_leq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_indexK">reshape_indexK</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_offsetP">reshape_offsetP</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_indexP">reshape_indexP</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_rcons">reshape_rcons</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_offset">reshape_offset</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_index">reshape_index</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#resize_mask">resize_mask</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.solvable.alt.html#Restrict">Restrict</a> [section, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.character.character.html#Restrict">Restrict</a> [section, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict">Restrict</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.classfun.html#Restrict">Restrict</a> [section, in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory">RestrictActionTheory</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory.A">RestrictActionTheory.A</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory.aT">RestrictActionTheory.aT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory.D">RestrictActionTheory.D</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory.rT">RestrictActionTheory.rT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory.sAD">RestrictActionTheory.sAD</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictActionTheory.to">RestrictActionTheory.to</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism">RestrictedMorphism</a> [section, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.A">RestrictedMorphism.A</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.aT">RestrictedMorphism.aT</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.D">RestrictedMorphism.D</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.Props">RestrictedMorphism.Props</a> [section, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.Props.f">RestrictedMorphism.Props.f</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.Props.sAD">RestrictedMorphism.Props.sAD</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#RestrictedMorphism.rT">RestrictedMorphism.rT</a> [variable, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictPerm">RestrictPerm</a> [section, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictPerm.S">RestrictPerm.S</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#RestrictPerm.T">RestrictPerm.T</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.field.algnum.html#restrict_aut_to_normal_num_field">restrict_aut_to_normal_num_field</a> [lemma, in <a href="mathcomp.field.algnum.html">mathcomp.field.algnum</a>]<br/> -<a href="mathcomp.field.algnum.html#restrict_aut_to_num_field">restrict_aut_to_num_field</a> [lemma, in <a href="mathcomp.field.algnum.html">mathcomp.field.algnum</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict.A">Restrict.A</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.classfun.html#Restrict.A">Restrict.A</a> [variable, in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict.aT">Restrict.aT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.classfun.html#Restrict.B">Restrict.B</a> [variable, in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/> -<a href="mathcomp.solvable.alt.html#Restrict.card_T">Restrict.card_T</a> [variable, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict.D">Restrict.D</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.character.html#Restrict.G">Restrict.G</a> [variable, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#Restrict.gT">Restrict.gT</a> [variable, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.classfun.html#Restrict.gT">Restrict.gT</a> [variable, in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/> -<a href="mathcomp.character.character.html#Restrict.H">Restrict.H</a> [variable, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict.rT">Restrict.rT</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict.sAD">Restrict.sAD</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.solvable.alt.html#Restrict.T">Restrict.T</a> [variable, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.fingroup.action.html#Restrict.to">Restrict.to</a> [variable, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.solvable.alt.html#Restrict.x">Restrict.x</a> [variable, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restrm">restrm</a> [definition, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restrmEsub">restrmEsub</a> [lemma, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restrmP">restrmP</a> [lemma, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#restrm_quotientE">restrm_quotientE</a> [lemma, in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/> -<a href="mathcomp.fingroup.action.html#restr_perm_isom">restr_perm_isom</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#restr_perm_Aut">restr_perm_Aut</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#restr_permE">restr_permE</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#restr_perm_on">restr_perm_on</a> [lemma, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#restr_perm">restr_perm</a> [definition, in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restr_isom">restr_isom</a> [lemma, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restr_isom_to">restr_isom_to</a> [lemma, in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#resultant">resultant</a> [definition, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#Resultant">Resultant</a> [section, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#resultant_eq0">resultant_eq0</a> [lemma, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#resultant_in_ideal">resultant_in_ideal</a> [lemma, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#Resultant.dS">Resultant.dS</a> [variable, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#Resultant.p">Resultant.p</a> [variable, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#Resultant.q">Resultant.q</a> [variable, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#Resultant.R">Resultant.R</a> [variable, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.character.character.html#Res_sdprod_irr">Res_sdprod_irr</a> [lemma, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#Res_Iirr0">Res_Iirr0</a> [lemma, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#Res_Iirr">Res_Iirr</a> [definition, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#Res_irr_neq0">Res_irr_neq0</a> [lemma, in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev">rev</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#revK">revK</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rev_sorted">rev_sorted</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rev_path">rev_path</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rev_tupleP">rev_tupleP</a> [lemma, in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_reshape">rev_reshape</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_flatten">rev_flatten</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_zip">rev_zip</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_rot">rev_rot</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_rotr">rev_rotr</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_uniq">rev_uniq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_rcons">rev_rcons</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_cat">rev_cat</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_cons">rev_cons</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rev_ord_inj">rev_ord_inj</a> [lemma, in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rev_ordK">rev_ordK</a> [lemma, in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rev_ord">rev_ord</a> [definition, in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rev_ord_proof">rev_ord_proof</a> [lemma, in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rF">rF</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd">rfd</a> [definition, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfdP">rfdP</a> [lemma, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_iso">rfd_iso</a> [lemma, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_odd">rfd_odd</a> [lemma, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_morph">rfd_morph</a> [lemma, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_fun">rfd_fun</a> [definition, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_funP">rfd_funP</a> [lemma, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_regular">rfix_regular</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_quo">rfix_quo</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_conj">rfix_conj</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_factmod">rfix_factmod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_submod">rfix_submod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_morphim">rfix_morphim</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_morphpre">rfix_morphpre</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_eqg">rfix_eqg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_subg">rfix_subg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mx_rstabC">rfix_mx_rstabC</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mx_module">rfix_mx_module</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mx_conjsg">rfix_mx_conjsg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mxS">rfix_mxS</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mx_id">rfix_mx_id</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mxP">rfix_mxP</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mx">rfix_mx</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rfix_pgroup_char">rfix_pgroup_char</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rfix_abelem">rfix_abelem</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rG">rG</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rG">rG</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rG">rG</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGB">rGB</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGB">rGB</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.solvable.alt.html#rgd">rgd</a> [definition, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rgdP">rgdP</a> [lemma, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rgd_fun">rgd_fun</a> [definition, in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGf">rGf</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGf">rGf</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGf">rGf</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGf">rGf</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGH">rGH</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rGH">rGH</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rgraph">rgraph</a> [definition, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rgraphK">rgraphK</a> [lemma, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rH">rH</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rH">rH</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rH">rH</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rH">rH</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rH">rH</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rHG">rHG</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.ssreflect.path.html#right_arc">right_arc</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#right_trans">right_trans</a> [lemma, in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#right_mx_ideal">right_mx_ideal</a> [definition, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot">RingQuot</a> [section, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotClass">RingQuotClass</a> [constructor, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotMixin">RingQuotMixin</a> [abbreviation, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotMixinPack">RingQuotMixinPack</a> [constructor, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotMixin_pack">RingQuotMixin_pack</a> [definition, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotType">RingQuotType</a> [abbreviation, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ringQuotType">ringQuotType</a> [record, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotTypePack">RingQuotTypePack</a> [constructor, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotType_clone">RingQuotType_clone</a> [definition, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuotType_pack">RingQuotType_pack</a> [definition, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.addT">RingQuot.addT</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.eqT">RingQuot.eqT</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.mulT">RingQuot.mulT</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.oneT">RingQuot.oneT</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.oppT">RingQuot.oppT</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.T">RingQuot.T</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#RingQuot.zeroT">RingQuot.zeroT</a> [variable, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr">RingRepr</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup">RingRepr.ChangeGroup</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.G">RingRepr.ChangeGroup.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.gT">RingRepr.ChangeGroup.gT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.H">RingRepr.ChangeGroup.H</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.n">RingRepr.ChangeGroup.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.rG">RingRepr.ChangeGroup.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SameGroup">RingRepr.ChangeGroup.SameGroup</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SameGroup.eqGH">RingRepr.ChangeGroup.SameGroup.eqGH</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SameGroup.Stabiliser">RingRepr.ChangeGroup.SameGroup.Stabiliser</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SameGroup.Stabiliser.m">RingRepr.ChangeGroup.SameGroup.Stabiliser.m</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SameGroup.Stabiliser.U">RingRepr.ChangeGroup.SameGroup.Stabiliser.U</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SubGroup">RingRepr.ChangeGroup.SubGroup</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SubGroup.sHG">RingRepr.ChangeGroup.SubGroup.sHG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SubGroup.Stabiliser">RingRepr.ChangeGroup.SubGroup.Stabiliser</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SubGroup.Stabiliser.m">RingRepr.ChangeGroup.SubGroup.Stabiliser.m</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.ChangeGroup.SubGroup.Stabiliser.U">RingRepr.ChangeGroup.SubGroup.Stabiliser.U</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate">RingRepr.Conjugate</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate.B">RingRepr.Conjugate.B</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate.G">RingRepr.Conjugate.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate.gT">RingRepr.Conjugate.gT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate.n">RingRepr.Conjugate.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate.rG">RingRepr.Conjugate.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Conjugate.uB">RingRepr.Conjugate.uB</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim">RingRepr.Morphim</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.aT">RingRepr.Morphim.aT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.D">RingRepr.Morphim.D</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.f">RingRepr.Morphim.f</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.G">RingRepr.Morphim.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.n">RingRepr.Morphim.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.rGf">RingRepr.Morphim.rGf</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.rT">RingRepr.Morphim.rT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.sGD">RingRepr.Morphim.sGD</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.sG_f'fG">RingRepr.Morphim.sG_f'fG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.Stabiliser">RingRepr.Morphim.Stabiliser</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.Stabiliser.m">RingRepr.Morphim.Stabiliser.m</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphim.Stabiliser.U">RingRepr.Morphim.Stabiliser.U</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre">RingRepr.Morphpre</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.aT">RingRepr.Morphpre.aT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.D">RingRepr.Morphpre.D</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.f">RingRepr.Morphpre.f</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.G">RingRepr.Morphpre.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.n">RingRepr.Morphpre.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.rG">RingRepr.Morphpre.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.rT">RingRepr.Morphpre.rT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.Stabiliser">RingRepr.Morphpre.Stabiliser</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.Stabiliser.m">RingRepr.Morphpre.Stabiliser.m</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Morphpre.Stabiliser.U">RingRepr.Morphpre.Stabiliser.U</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation">RingRepr.OneRepresentation</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.CentHom">RingRepr.OneRepresentation.CentHom</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.CentHom.f">RingRepr.OneRepresentation.CentHom.f</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.G">RingRepr.OneRepresentation.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.gT">RingRepr.OneRepresentation.gT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.n">RingRepr.OneRepresentation.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.rG">RingRepr.OneRepresentation.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.Stabiliser">RingRepr.OneRepresentation.Stabiliser</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.Stabiliser.m">RingRepr.OneRepresentation.Stabiliser.m</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.OneRepresentation.Stabiliser.U">RingRepr.OneRepresentation.Stabiliser.U</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Proper">RingRepr.Proper</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Proper.G">RingRepr.Proper.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Proper.gT">RingRepr.Proper.gT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Proper.n'">RingRepr.Proper.n'</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Proper.rG">RingRepr.Proper.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient">RingRepr.Quotient</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.G">RingRepr.Quotient.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.gT">RingRepr.Quotient.gT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.n">RingRepr.Quotient.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.rG">RingRepr.Quotient.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.SubQuotient">RingRepr.Quotient.SubQuotient</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.SubQuotient.H">RingRepr.Quotient.SubQuotient.H</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.SubQuotient.krH">RingRepr.Quotient.SubQuotient.krH</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.SubQuotient.nHG">RingRepr.Quotient.SubQuotient.nHG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Quotient.SubQuotient.nHGs">RingRepr.Quotient.SubQuotient.nHGs</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.R">RingRepr.R</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular">RingRepr.Regular</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.G">RingRepr.Regular.G</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.GringMx">RingRepr.Regular.GringMx</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.GringMx.n">RingRepr.Regular.GringMx.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.GringMx.rG">RingRepr.Regular.GringMx.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.GringOp">RingRepr.Regular.GringOp</a> [section, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.GringOp.n">RingRepr.Regular.GringOp.n</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.GringOp.rG">RingRepr.Regular.GringOp.rG</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#RingRepr.Regular.gT">RingRepr.Regular.gT</a> [variable, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_mixinP">ring_quot_mixinP</a> [lemma, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_eq_quot_class">ring_eq_quot_class</a> [definition, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_zmod_quot_class">ring_zmod_quot_class</a> [definition, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_class">ring_quot_class</a> [definition, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_sort">ring_quot_sort</a> [projection, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_mixin">ring_quot_mixin</a> [projection, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_ring_class">ring_quot_ring_class</a> [projection, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_quot_class">ring_quot_quot_class</a> [projection, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_class_of">ring_quot_class_of</a> [record, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_zmod_quot_mixin">ring_zmod_quot_mixin</a> [projection, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_mixin_of">ring_quot_mixin_of</a> [record, in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html">ring_quotient</a> [library]<br/> -<a href="mathcomp.algebra.ssrint.html#RintMod">RintMod</a> [section, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#RintMod.R">RintMod.R</a> [variable, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker">rker</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rkerP">rkerP</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_map">rker_map</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_mx_rsim">rker_mx_rsim</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_factmod">rker_factmod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_submod">rker_submod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_quo">rker_quo</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_conj">rker_conj</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_morphim">rker_morphim</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_morphpre">rker_morphpre</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_eqg">rker_eqg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_subg">rker_subg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_linear">rker_linear</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_normal">rker_normal</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_norm">rker_norm</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rker_abelem">rker_abelem</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorphMz">rmorphMz</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorphXz">rmorphXz</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorphzP">rmorphzP</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.field.algnum.html#rmorphZ_num">rmorphZ_num</a> [lemma, in <a href="mathcomp.field.algnum.html">mathcomp.field.algnum</a>]<br/> -<a href="mathcomp.algebra.poly.html#rmorph_unity_root">rmorph_unity_root</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rmorph_root">rmorph_root</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorph_int">rmorph_int</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.poly.html#root">root</a> [definition, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#root">root</a> [definition, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootC">rootC</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootE">rootE</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootM">rootM</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootN">rootN</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootP">rootP</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rootP">rootP</a> [lemma, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootPf">rootPf</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootPt">rootPt</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#roots">roots</a> [definition, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#roots_geq_poly_eq0">roots_geq_poly_eq0</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#roots_root">roots_root</a> [lemma, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootX">rootX</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootZ">rootZ</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.field.galois.html#root_minPoly_gal">root_minPoly_gal</a> [lemma, in <a href="mathcomp.field.galois.html">mathcomp.field.galois</a>]<br/> -<a href="mathcomp.field.algC.html#root_minCpoly">root_minCpoly</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.fieldext.html#root_small_adjoin_poly">root_small_adjoin_poly</a> [lemma, in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.field.fieldext.html#root_minPoly">root_minPoly</a> [lemma, in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.algebra.polyXY.html#root_annihilant">root_annihilant</a> [lemma, in <a href="mathcomp.algebra.polyXY.html">mathcomp.algebra.polyXY</a>]<br/> -<a href="mathcomp.field.cyclotomic.html#root_cyclotomic">root_cyclotomic</a> [lemma, in <a href="mathcomp.field.cyclotomic.html">mathcomp.field.cyclotomic</a>]<br/> -<a href="mathcomp.field.algnum.html#root_monic_Aint">root_monic_Aint</a> [lemma, in <a href="mathcomp.field.algnum.html">mathcomp.field.algnum</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_exp_XsubC">root_exp_XsubC</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_prod_XsubC">root_prod_XsubC</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_comp">root_comp</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_polyC">root_polyC</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_of_unity">root_of_unity</a> [definition, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_XaddC">root_XaddC</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_XsubC">root_XsubC</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_size_gt1">root_size_gt1</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#root_connect">root_connect</a> [lemma, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#root_root">root_root</a> [lemma, in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#root0">root0</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root1">root1</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot">rot</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rot">rot</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rotations">rotations</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rotations_is_rot">rotations_is_rot</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotCompLemmas">RotCompLemmas</a> [section, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotCompLemmas.T">RotCompLemmas.T</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotK">rotK</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr">rotr</a> [definition, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotRcons">RotRcons</a> [section, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotRcons.T">RotRcons.T</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotrK">rotrK</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotrLemmas">RotrLemmas</a> [section, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotrLemmas.n0">RotrLemmas.n0</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotrLemmas.T">RotrLemmas.T</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotrLemmas.T'">RotrLemmas.T'</a> [variable, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rotr_ucycle">rotr_ucycle</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rotr_cycle">rotr_cycle</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rotr_tupleP">rotr_tupleP</a> [lemma, in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_rotr">rotr_rotr</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_inj">rotr_inj</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_uniq">rotr_uniq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_size_cat">rotr_size_cat</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr1_rcons">rotr1_rcons</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotS">rotS</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#RotToArcSpec">RotToArcSpec</a> [constructor, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#RotToSpec">RotToSpec</a> [constructor, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rot_to_arc">rot_to_arc</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rot_to_arc_spec">rot_to_arc_spec</a> [inductive, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rot_ucycle">rot_ucycle</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rot_cycle">rot_cycle</a> [lemma, in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rot_tupleP">rot_tupleP</a> [lemma, in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_rotr">rot_rotr</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_rot">rot_rot</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_add_mod">rot_add_mod</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_addn">rot_addn</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_to">rot_to</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_to_spec">rot_to_spec</a> [inductive, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_uniq">rot_uniq</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_inj">rot_inj</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_size_cat">rot_size_cat</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_size">rot_size</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_oversize">rot_oversize</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rot_is_rot">rot_is_rot</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rot_r1">rot_r1</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rot_eq_c0">rot_eq_c0</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rot_inv">rot_inv</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot0">rot0</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot1_cons">rot1_cons</a> [lemma, in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row">row</a> [definition, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowE">rowE</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg">rowg</a> [definition, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgD">rowgD</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgI">rowgI</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgK">rowgK</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgS">rowgS</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mxSK">rowg_mxSK</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mxK">rowg_mxK</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mx_eq0">rowg_mx_eq0</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mx1">rowg_mx1</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mxS">rowg_mxS</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mx">rowg_mx</a> [definition, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_stable">rowg_stable</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_group_set">rowg_group_set</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg0">rowg0</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg1">rowg1</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowK">rowK</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowKd">rowKd</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowKu">rowKu</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowP">rowP</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#RowPoly">RowPoly</a> [section, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#RowPoly.d">RowPoly.d</a> [variable, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#RowPoly.R">RowPoly.R</a> [variable, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory">RowSpaceTheory</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.AddsmxSub">RowSpaceTheory.AddsmxSub</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.AddsmxSub.A">RowSpaceTheory.AddsmxSub.A</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.AddsmxSub.B">RowSpaceTheory.AddsmxSub.B</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.AddsmxSub.m1">RowSpaceTheory.AddsmxSub.m1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.AddsmxSub.m2">RowSpaceTheory.AddsmxSub.m2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.AddsmxSub.n">RowSpaceTheory.AddsmxSub.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.addsmx_nop_id">RowSpaceTheory.addsmx_nop_id</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.addsmx_nop0">RowSpaceTheory.addsmx_nop0</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.addsmx_nop_eq0">RowSpaceTheory.addsmx_nop_eq0</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.addsmx_nop">RowSpaceTheory.addsmx_nop</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.BinaryDirect">RowSpaceTheory.BinaryDirect</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.BinaryDirect.m1">RowSpaceTheory.BinaryDirect.m1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.BinaryDirect.m2">RowSpaceTheory.BinaryDirect.m2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.BinaryDirect.n">RowSpaceTheory.BinaryDirect.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_nop_id">RowSpaceTheory.capmx_nop_id</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_eq_norm">RowSpaceTheory.capmx_eq_norm</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_nopP">RowSpaceTheory.capmx_nopP</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_norm_eq">RowSpaceTheory.capmx_norm_eq</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_normP">RowSpaceTheory.capmx_normP</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_witnessP">RowSpaceTheory.capmx_witnessP</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_nop">RowSpaceTheory.capmx_nop</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_norm">RowSpaceTheory.capmx_norm</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.capmx_witness">RowSpaceTheory.capmx_witness</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Defs">RowSpaceTheory.Defs</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Defs.A">RowSpaceTheory.Defs.A</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Defs.LUr">RowSpaceTheory.Defs.LUr</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Defs.m">RowSpaceTheory.Defs.m</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Defs.n">RowSpaceTheory.Defs.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Eigenspace">RowSpaceTheory.Eigenspace</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Eigenspace.g">RowSpaceTheory.Eigenspace.g</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.Eigenspace.n">RowSpaceTheory.Eigenspace.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.eqmx_sum_nop">RowSpaceTheory.eqmx_sum_nop</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.equivmx">RowSpaceTheory.equivmx</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.equivmx_spec">RowSpaceTheory.equivmx_spec</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.F">RowSpaceTheory.F</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.genmx_witnessP">RowSpaceTheory.genmx_witnessP</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.I">RowSpaceTheory.I</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.LtmxIdentities">RowSpaceTheory.LtmxIdentities</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.LtmxIdentities.A">RowSpaceTheory.LtmxIdentities.A</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.LtmxIdentities.B">RowSpaceTheory.LtmxIdentities.B</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.LtmxIdentities.m1">RowSpaceTheory.LtmxIdentities.m1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.LtmxIdentities.m2">RowSpaceTheory.LtmxIdentities.m2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.LtmxIdentities.n">RowSpaceTheory.LtmxIdentities.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.NaryDirect">RowSpaceTheory.NaryDirect</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.NaryDirect.mxdirect_sums_recP">RowSpaceTheory.NaryDirect.mxdirect_sums_recP</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.NaryDirect.n">RowSpaceTheory.NaryDirect.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.NaryDirect.P">RowSpaceTheory.NaryDirect.P</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.NaryDirect.TIsum">RowSpaceTheory.NaryDirect.TIsum</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.qidmx">RowSpaceTheory.qidmx</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.qidmx_cap">RowSpaceTheory.qidmx_cap</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.qidmx_eq1">RowSpaceTheory.qidmx_eq1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx">RowSpaceTheory.SubDaddsmx</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.A">RowSpaceTheory.SubDaddsmx.A</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.B1">RowSpaceTheory.SubDaddsmx.B1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.B2">RowSpaceTheory.SubDaddsmx.B2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.m">RowSpaceTheory.SubDaddsmx.m</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.m1">RowSpaceTheory.SubDaddsmx.m1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.m2">RowSpaceTheory.SubDaddsmx.m2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDaddsmx.n">RowSpaceTheory.SubDaddsmx.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDsumsmx">RowSpaceTheory.SubDsumsmx</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDsumsmx.A">RowSpaceTheory.SubDsumsmx.A</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDsumsmx.B">RowSpaceTheory.SubDsumsmx.B</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDsumsmx.m">RowSpaceTheory.SubDsumsmx.m</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDsumsmx.n">RowSpaceTheory.SubDsumsmx.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SubDsumsmx.P">RowSpaceTheory.SubDsumsmx.P</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.sub_qidmx">RowSpaceTheory.sub_qidmx</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr">RowSpaceTheory.SumExpr</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Binary">RowSpaceTheory.SumExpr.Binary</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Binary.m1">RowSpaceTheory.SumExpr.Binary.m1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Binary.m2">RowSpaceTheory.SumExpr.Binary.m2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Binary.n">RowSpaceTheory.SumExpr.Binary.n</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Binary.S1">RowSpaceTheory.SumExpr.Binary.S1</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Binary.S2">RowSpaceTheory.SumExpr.Binary.S2</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.SumExpr.Nary">RowSpaceTheory.SumExpr.Nary</a> [section, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#RowSpaceTheory.unitmx1F">RowSpaceTheory.unitmx1F</a> [variable, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#558e7d7f1cdeac24f358810e8b2a6c90">_ :\: _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#0144fb51819f0f8c24047b11c3b903bc">\bigcap_ ( _ | _ ) _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#9b2c1db5d2375a5b8d3548a4a995de32">_ :&: _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#2060ffb6da9b0d74639202e23e21e2ba">\sum_ ( _ <- _ | _ ) _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#e3eadb2258a983802424aabe03eb3fa5">\sum_ ( _ | _ ) _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#fc376d0ef5d57f2ced00029c73bfae3e">_ + _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#5678c2522c46860f8f34d965719dc347"><< _ >> (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#60865e2842769a434fa149a87581dd5d">_ :=: _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#cf4c296714679a4f3b1759a3b0e27ede">_ < _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#b38dda025cba8c04feef5c1eeec2b3bb">_ == _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#5b65eca33ef6c8565fff5760d6ca1f24">_ <= _ <= _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#7aa19237bd672944c59049593f9cf504">_ <= _ (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#2bba6607cd5441a3a280283039979ef6">_ ^C (matrix_set_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#c9e4b28fe217104569228ddbd881731d">\rank _ (nat_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#5f150f70ed272d7494c263afd1ab08fa">'M_ _ (type_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#86216ed4d3483e6fad890671e5a52e3b">'M_ ( _ , _ ) (type_scope)</a> [notation, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rowV0P">rowV0P</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rowV0Pn">rowV0Pn</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#row_full_dom_hom">row_full_dom_hom</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#row_hom_mxP">row_hom_mxP</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#row_hom_mx">row_hom_mx</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_permE">row_permE</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mul">row_mul</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_sum_delta">row_sum_delta</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mx_eq0">row_mx_eq0</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mx0">row_mx0</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_row_mx">row_row_mx</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxAx">row_mxAx</a> [definition, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxA">row_mxA</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mx_const">row_mx_const</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxKr">row_mxKr</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxEr">row_mxEr</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxKl">row_mxKl</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxEl">row_mxEl</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mx">row_mx</a> [definition, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mx_key">row_mx_key</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_eq">row_eq</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_id">row_id</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_permM">row_permM</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_perm1">row_perm1</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_const">row_const</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_matrixP">row_matrixP</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_perm_const">row_perm_const</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_perm">row_perm</a> [definition, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_perm_key">row_perm_key</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_full_map">row_full_map</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_free_map">row_free_map</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_base_free">row_base_free</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_full_unit">row_full_unit</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_free_unit">row_free_unit</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_free_inj">row_free_inj</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_freeP">row_freeP</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_full_inj">row_full_inj</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_fullP">row_fullP</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_subPn">row_subPn</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_subP">row_subP</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_sub">row_sub</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_ebase_unit">row_ebase_unit</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_leq_rank">row_leq_rank</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_base">row_base</a> [definition, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_full">row_full</a> [definition, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_free">row_free</a> [definition, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_ebase">row_ebase</a> [definition, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'">row'</a> [definition, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'Kd">row'Kd</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'Ku">row'Ku</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'_row_mx">row'_row_mx</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'_eq">row'_eq</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'_const">row'_const</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row0">row0</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row1">row1</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpred">rpred</a> [section, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredMz">rpredMz</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredXsign">rpredXsign</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredXz">rpredXz</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredZint">rpredZint</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.field.algC.html#rpredZ_Cint">rpredZ_Cint</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#rpredZ_Cnat">rpredZ_Cnat</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.rat.html#rpred_rat">rpred_rat</a> [lemma, in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.field.algC.html#rpred_Crat">rpred_Crat</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#rpred_Cnat">rpred_Cnat</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#rpred_Cint">rpred_Cint</a> [lemma, in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.poly.html#rpred_horner">rpred_horner</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpred_int">rpred_int</a> [lemma, in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_div0">rreg_div0</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_polyMC_eq0">rreg_polyMC_eq0</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_size">rreg_size</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_lead0">rreg_lead0</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_lead">rreg_lead</a> [lemma, in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rshift">rshift</a> [definition, in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rshift_subproof">rshift_subproof</a> [lemma, in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.algebra.zmodp.html#rshift1">rshift1</a> [lemma, in <a href="mathcomp.algebra.zmodp.html">mathcomp.algebra.zmodp</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsimC">rsimC</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsimT">rsimT</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_irr_comp">rsim_irr_comp</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_regular_submod">rsim_regular_submod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_regular_series">rsim_regular_series</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_regular_factmod">rsim_regular_factmod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_submod1">rsim_submod1</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rsim_abelem_subg">rsim_abelem_subg</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab">rstab</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabS">rstabS</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs">rstabs</a> [definition, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_map">rstabs_map</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_quo">rstabs_quo</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_conj">rstabs_conj</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_factmod">rstabs_factmod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_submod">rstabs_submod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_morphim">rstabs_morphim</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_morphpre">rstabs_morphpre</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_eqg">rstabs_eqg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_subg">rstabs_subg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_act">rstabs_act</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_group_set">rstabs_group_set</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_sub">rstabs_sub</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rstabs_abelemG">rstabs_abelemG</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rstabs_abelem">rstabs_abelem</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_map">rstab_map</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_normal">rstab_normal</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_norm">rstab_norm</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_factmod">rstab_factmod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_submod">rstab_submod</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_act">rstab_act</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_quo">rstab_quo</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_conj">rstab_conj</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_morphim">rstab_morphim</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_morphpre">rstab_morphpre</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_eqg">rstab_eqg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_subg">rstab_subg</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_group_set">rstab_group_set</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_sub">rstab_sub</a> [lemma, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rstab_abelem">rstab_abelem</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rsubmx">rsubmx</a> [definition, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rsubmx_key">rsubmx_key</a> [lemma, in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rT">rT</a> [abbreviation, in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rU">rU</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rU'">rU'</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem">rVabelem</a> [definition, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemD">rVabelemD</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemJ">rVabelemJ</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemK">rVabelemK</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemN">rVabelemN</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemS">rVabelemS</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemZ">rVabelemZ</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_minj">rVabelem_minj</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_mK">rVabelem_mK</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_injm">rVabelem_injm</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_inj">rVabelem_inj</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem0">rVabelem0</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVn">rVn</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVn">rVn</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVn">rVn</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#rVpoly">rVpoly</a> [definition, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#rVpolyK">rVpolyK</a> [lemma, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#rVpoly_is_linear">rVpoly_is_linear</a> [lemma, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#rVpoly_delta">rVpoly_delta</a> [lemma, in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rV_abelem_sJ">rV_abelem_sJ</a> [lemma, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rV_E">rV_E</a> [abbreviation, in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rV_eqP">rV_eqP</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rV_subP">rV_subP</a> [lemma, in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.character.integral_char.html#R_G">R_G</a> [abbreviation, in <a href="mathcomp.character.integral_char.html">mathcomp.character.integral_char</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#R_G">R_G</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#R_G">R_G</a> [abbreviation, in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r012">r012</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R012">R012</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R012f">R012f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R012_inj">R012_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r013">r013</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R013">R013</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R013f">R013f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R013_inj">R013_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r021">r021</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R021">R021</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R021f">R021f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R021_inj">R021_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r024">r024</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R024">R024</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R024f">R024f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R024_inj">R024_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r031">r031</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R031">R031</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R031f">R031f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R031_inj">R031_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r034">r034</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R034">R034</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R034f">R034f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R034_inj">R034_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r042">r042</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R042">R042</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R042f">R042f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R042_inj">R042_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r043">r043</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R043">R043</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R043f">R043f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R043_inj">R043_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r05">r05</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R05">R05</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R05f">R05f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r05_inv">r05_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R05_inj">R05_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r1">r1</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R1">R1</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r1_inv">r1_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R1_inj">R1_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r14">r14</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R14">R14</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R14f">R14f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r14_inv">r14_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R14_inj">R14_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r2">r2</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R2">R2</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r2_inv">r2_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R2_inj">R2_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r23">r23</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R23">R23</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R23f">R23f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R23_inj">R23_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r3">r3</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R3">R3</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r3_inv">r3_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R3_inj">R3_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r32">r32</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R32">R32</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R32f">R32f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R32_inj">R32_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r41">r41</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R41">R41</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R41f">R41f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r41_inv">r41_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R41_inj">R41_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r50">r50</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R50">R50</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R50f">R50f</a> [definition, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#r50_inv">r50_inv</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R50_inj">R50_inj</a> [lemma, in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<br/><br/><hr/><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>(23836 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>H</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>O</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>(1409 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>H</td> -<td><a href="index_module_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td><a href="index_module_M.html">M</a></td> -<td><a href="index_module_N.html">N</a></td> -<td>O</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>T</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>Z</td> -<td>_</td> -<td>other</td> -<td>(221 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>(3574 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>O</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>(90 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>(12096 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>(368 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>D</td> -<td><a href="index_axiom_E.html">E</a></td> -<td><a href="index_axiom_F.html">F</a></td> -<td>G</td> -<td>H</td> -<td><a href="index_axiom_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td>M</td> -<td>N</td> -<td>O</td> -<td><a href="index_axiom_P.html">P</a></td> -<td>Q</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>(45 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>(107 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>H</td> -<td><a href="index_projection_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td><a href="index_projection_M.html">M</a></td> -<td><a href="index_projection_N.html">N</a></td> -<td>O</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>(273 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>(1140 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>(728 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>(3596 entries)</td> -</tr> -<tr> -<td>Record Index</td> -<td><a href="index_record_A.html">A</a></td> -<td>B</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>H</td> -<td><a href="index_record_I.html">I</a></td> -<td>J</td> -<td>K</td> -<td>L</td> -<td><a href="index_record_M.html">M</a></td> -<td><a href="index_record_N.html">N</a></td> -<td>O</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>(189 entries)</td> -</tr> -</table> -</div> - -<div id="footer"> -<hr/><a href="index.html">Index</a><hr/>This page has been generated by <a href="http://coq.inria.fr/">coqdoc</a> -</div> - -</div> - -</body> -</html>
\ No newline at end of file |