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_lemma_R.html | |
| parent | dd82aaeae7e9478efc178ce8430986649555b032 (diff) | |
removing everything but index which redirects to the new page
Diffstat (limited to 'docs/htmldoc/index_lemma_R.html')
| -rw-r--r-- | docs/htmldoc/index_lemma_R.html | 1409 |
1 files changed, 0 insertions, 1409 deletions
diff --git a/docs/htmldoc/index_lemma_R.html b/docs/htmldoc/index_lemma_R.html deleted file mode 100644 index 25a39fd..0000000 --- a/docs/htmldoc/index_lemma_R.html +++ /dev/null @@ -1,1409 +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="lemma_R"></a><h2>R (lemma)</h2> -<a href="mathcomp.fingroup.action.html#ractE">ractE</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#ractpermE">ractpermE</a> [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> [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> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#raddfMz">raddfMz</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.field.algC.html#raddfZ_Cint">raddfZ_Cint</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#raddfZ_Cnat">raddfZ_Cnat</a> [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> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rankJ">rankJ</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rankS">rankS</a> [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> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rank_irr1">rank_irr1</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.solvable.extraspecial.html#rank_DnQ">rank_DnQ</a> [in <a href="mathcomp.solvable.extraspecial.html">mathcomp.solvable.extraspecial</a>]<br/> -<a href="mathcomp.solvable.extraspecial.html#rank_Dn">rank_Dn</a> [in <a href="mathcomp.solvable.extraspecial.html">mathcomp.solvable.extraspecial</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_cycle">rank_cycle</a> [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> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_Ohm1">rank_Ohm1</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_geP">rank_geP</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_abelem">rank_abelem</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_Sylow">rank_Sylow</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_pgroup">rank_pgroup</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_witness">rank_witness</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank_gt0">rank_gt0</a> [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> [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> [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> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_ltmx">rank_ltmx</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rank_rV">rank_rV</a> [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> [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> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.solvable.abelian.html#rank1">rank1</a> [in <a href="mathcomp.solvable.abelian.html">mathcomp.solvable.abelian</a>]<br/> -<a href="mathcomp.field.algC.html#ratCK">ratCK</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.fraction.html#RatioP">RatioP</a> [in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#Ratio_numden">Ratio_numden</a> [in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.fraction.html#Ratio0">Ratio0</a> [in <a href="mathcomp.algebra.fraction.html">mathcomp.algebra.fraction</a>]<br/> -<a href="mathcomp.algebra.rat.html#RatK">RatK</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratP">ratP</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_norm">ratr_norm</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_sg">ratr_sg</a> [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> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_nat">ratr_nat</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratr_int">ratr_int</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzD">ratzD</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzE">ratzE</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzM">ratzM</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratzN">ratzN</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#ratz_frac">ratz_frac</a> [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> [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> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_lrmorphism">rat_lrmorphism</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_linear">rat_linear</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_archimedean">rat_archimedean</a> [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> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_eq">rat_eq</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat_eqE">rat_eqE</a> [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> [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> [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> [in <a href="mathcomp.field.algebraics_fundamentals.html">mathcomp.field.algebraics_fundamentals</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat0">rat0</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.algebra.rat.html#rat1">rat1</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcenter_normal">rcenter_normal</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_map">rcent_map</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_quo">rcent_quo</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_conj">rcent_conj</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_eqg">rcent_eqg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_subg">rcent_subg</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rcent_sub">rcent_sub</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rconj_mxJ">rconj_mxJ</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rconj_mxE">rconj_mxE</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rcons_path">rcons_path</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rcons_tupleP">rcons_tupleP</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_uniq">rcons_uniq</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_injr">rcons_injr</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_injl">rcons_injl</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_inj">rcons_inj</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_cat">rcons_cat</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rcons_cons">rcons_cons</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetE">rcosetE</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetK">rcosetK</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetKV">rcosetKV</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetM">rcosetM</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetP">rcosetP</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetS">rcosetS</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosetsP">rcosetsP</a> [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> [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> [in <a href="mathcomp.solvable.finmodule.html">mathcomp.solvable.finmodule</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosets_partition">rcosets_partition</a> [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> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcosets_id">rcosets_id</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#rcoset_kercosetP">rcoset_kercosetP</a> [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> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#rcoset_kerP">rcoset_kerP</a> [in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_index2">rcoset_index2</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_mul">rcoset_mul</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_repr">rcoset_repr</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_id">rcoset_id</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_trans">rcoset_trans</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_transl">rcoset_transl</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_eqP">rcoset_eqP</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_sym">rcoset_sym</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_refl">rcoset_refl</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset_inj">rcoset_inj</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#rcoset1">rcoset1</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#realz">realz</a> [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> [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> [in <a href="mathcomp.algebra.interval.html">mathcomp.algebra.interval</a>]<br/> -<a href="mathcomp.algebra.interval.html#real_lersifN">real_lersifN</a> [in <a href="mathcomp.algebra.interval.html">mathcomp.algebra.interval</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#reducible_Socle1">reducible_Socle1</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#reducible_Socle">reducible_Socle</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.field.fieldext.html#refBaseField_key">refBaseField_key</a> [in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.field.galois.html#regular_splittingAxiom">regular_splittingAxiom</a> [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> [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> [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> [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> [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> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.algebra.vector.html#regular_vect_iso">regular_vect_iso</a> [in <a href="mathcomp.algebra.vector.html">mathcomp.algebra.vector</a>]<br/> -<a href="mathcomp.field.falgebra.html#regular_fullv">regular_fullv</a> [in <a href="mathcomp.field.falgebra.html">mathcomp.field.falgebra</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reindex">reindex</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#reindex_bigcprod">reindex_bigcprod</a> [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> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.inertia.html#reindex_cfclass">reindex_cfclass</a> [in <a href="mathcomp.character.inertia.html">mathcomp.character.inertia</a>]<br/> -<a href="mathcomp.fingroup.action.html#reindex_acts">reindex_acts</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#reindex_astabs">reindex_astabs</a> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.character.classfun.html#reindex_dprod">reindex_dprod</a> [in <a href="mathcomp.character.classfun.html">mathcomp.character.classfun</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reindex_inj">reindex_inj</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.ssreflect.bigop.html#reindex_onto">reindex_onto</a> [in <a href="mathcomp.ssreflect.bigop.html">mathcomp.ssreflect.bigop</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#relU_sym">relU_sym</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrM">remgrM</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrMid">remgrMid</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrMl">remgrMl</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgrP">remgrP</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgr_id">remgr_id</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.fingroup.gproduct.html#remgr1">remgr1</a> [in <a href="mathcomp.fingroup.gproduct.html">mathcomp.fingroup.gproduct</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_filter">rem_filter</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_uniq">rem_uniq</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_subseq">rem_subseq</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rem_id">rem_id</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.character.mxabelem.html#reprGLmM">reprGLmM</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#reprK">reprK</a> [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> [in <a href="mathcomp.fingroup.quotient.html">mathcomp.fingroup.quotient</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#repr_coset1">repr_coset1</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxX">repr_mxX</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxVr">repr_mxVr</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxMr">repr_mxMr</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxV">repr_mxV</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxKV">repr_mxKV</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxK">repr_mxK</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mxM">repr_mxM</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#repr_mx1">repr_mx1</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#repr_ofK">repr_ofK</a> [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> [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> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_classesP">repr_classesP</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_class">repr_class</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_rcosetP">repr_rcosetP</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_group">repr_group</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_set0">repr_set0</a> [in <a href="mathcomp.fingroup.fingroup.html">mathcomp.fingroup.fingroup</a>]<br/> -<a href="mathcomp.fingroup.fingroup.html#repr_set1">repr_set1</a> [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> [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> [in <a href="mathcomp.ssreflect.finset.html">mathcomp.ssreflect.finset</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshapeKl">reshapeKl</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshapeKr">reshapeKr</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_leq">reshape_leq</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_indexK">reshape_indexK</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_offsetP">reshape_offsetP</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_indexP">reshape_indexP</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#reshape_rcons">reshape_rcons</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#resize_mask">resize_mask</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.field.algnum.html#restrict_aut_to_normal_num_field">restrict_aut_to_normal_num_field</a> [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> [in <a href="mathcomp.field.algnum.html">mathcomp.field.algnum</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restrmEsub">restrmEsub</a> [in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restrmP">restrmP</a> [in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.fingroup.quotient.html#restrm_quotientE">restrm_quotientE</a> [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> [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> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.action.html#restr_permE">restr_permE</a> [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> [in <a href="mathcomp.fingroup.action.html">mathcomp.fingroup.action</a>]<br/> -<a href="mathcomp.fingroup.morphism.html#restr_isom">restr_isom</a> [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> [in <a href="mathcomp.fingroup.morphism.html">mathcomp.fingroup.morphism</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#resultant_eq0">resultant_eq0</a> [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> [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> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.character.character.html#Res_Iirr0">Res_Iirr0</a> [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> [in <a href="mathcomp.character.character.html">mathcomp.character.character</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#revK">revK</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rev_sorted">rev_sorted</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rev_path">rev_path</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rev_tupleP">rev_tupleP</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_reshape">rev_reshape</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_flatten">rev_flatten</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_zip">rev_zip</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_rot">rev_rot</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_rotr">rev_rotr</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_uniq">rev_uniq</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_rcons">rev_rcons</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_cat">rev_cat</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rev_cons">rev_cons</a> [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> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rev_ordK">rev_ordK</a> [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> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfdP">rfdP</a> [in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_iso">rfd_iso</a> [in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_odd">rfd_odd</a> [in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_morph">rfd_morph</a> [in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.solvable.alt.html#rfd_funP">rfd_funP</a> [in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_regular">rfix_regular</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_quo">rfix_quo</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_conj">rfix_conj</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_factmod">rfix_factmod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_submod">rfix_submod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_morphim">rfix_morphim</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_morphpre">rfix_morphpre</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_eqg">rfix_eqg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_subg">rfix_subg</a> [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> [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> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mxS">rfix_mxS</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rfix_mxP">rfix_mxP</a> [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> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rfix_abelem">rfix_abelem</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.solvable.alt.html#rgdP">rgdP</a> [in <a href="mathcomp.solvable.alt.html">mathcomp.solvable.alt</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rgraphK">rgraphK</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.path.html#right_arc">right_arc</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.generic_quotient.html#right_trans">right_trans</a> [in <a href="mathcomp.ssreflect.generic_quotient.html">mathcomp.ssreflect.generic_quotient</a>]<br/> -<a href="mathcomp.algebra.ring_quotient.html#ring_quot_mixinP">ring_quot_mixinP</a> [in <a href="mathcomp.algebra.ring_quotient.html">mathcomp.algebra.ring_quotient</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rkerP">rkerP</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_map">rker_map</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_factmod">rker_factmod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_submod">rker_submod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_quo">rker_quo</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_conj">rker_conj</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_morphim">rker_morphim</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_morphpre">rker_morphpre</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_eqg">rker_eqg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_subg">rker_subg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_linear">rker_linear</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_normal">rker_normal</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rker_norm">rker_norm</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rker_abelem">rker_abelem</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorphMz">rmorphMz</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorphXz">rmorphXz</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorphzP">rmorphzP</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.field.algnum.html#rmorphZ_num">rmorphZ_num</a> [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> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rmorph_root">rmorph_root</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rmorph_int">rmorph_int</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootC">rootC</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootE">rootE</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootM">rootM</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootN">rootN</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootP">rootP</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#rootP">rootP</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootPf">rootPf</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootPt">rootPt</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#roots_geq_poly_eq0">roots_geq_poly_eq0</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#roots_root">roots_root</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootX">rootX</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rootZ">rootZ</a> [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> [in <a href="mathcomp.field.galois.html">mathcomp.field.galois</a>]<br/> -<a href="mathcomp.field.algC.html#root_minCpoly">root_minCpoly</a> [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> [in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.field.fieldext.html#root_minPoly">root_minPoly</a> [in <a href="mathcomp.field.fieldext.html">mathcomp.field.fieldext</a>]<br/> -<a href="mathcomp.algebra.polyXY.html#root_annihilant">root_annihilant</a> [in <a href="mathcomp.algebra.polyXY.html">mathcomp.algebra.polyXY</a>]<br/> -<a href="mathcomp.field.cyclotomic.html#root_cyclotomic">root_cyclotomic</a> [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> [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> [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> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_comp">root_comp</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_polyC">root_polyC</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_XaddC">root_XaddC</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root_XsubC">root_XsubC</a> [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> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#root_connect">root_connect</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.ssreflect.fingraph.html#root_root">root_root</a> [in <a href="mathcomp.ssreflect.fingraph.html">mathcomp.ssreflect.fingraph</a>]<br/> -<a href="mathcomp.algebra.poly.html#root0">root0</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#root1">root1</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#rotations_is_rot">rotations_is_rot</a> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotK">rotK</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotrK">rotrK</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rotr_ucycle">rotr_ucycle</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rotr_cycle">rotr_cycle</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rotr_tupleP">rotr_tupleP</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_rotr">rotr_rotr</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_inj">rotr_inj</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr_uniq">rotr_uniq</a> [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> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotr1_rcons">rotr1_rcons</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rotS">rotS</a> [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> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rot_ucycle">rot_ucycle</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.path.html#rot_cycle">rot_cycle</a> [in <a href="mathcomp.ssreflect.path.html">mathcomp.ssreflect.path</a>]<br/> -<a href="mathcomp.ssreflect.tuple.html#rot_tupleP">rot_tupleP</a> [in <a href="mathcomp.ssreflect.tuple.html">mathcomp.ssreflect.tuple</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_rotr">rot_rotr</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_rot">rot_rot</a> [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> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_addn">rot_addn</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_to">rot_to</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_uniq">rot_uniq</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_inj">rot_inj</a> [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> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_size">rot_size</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot_oversize">rot_oversize</a> [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> [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> [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> [in <a href="mathcomp.solvable.burnside_app.html">mathcomp.solvable.burnside_app</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot0">rot0</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.ssreflect.seq.html#rot1_cons">rot1_cons</a> [in <a href="mathcomp.ssreflect.seq.html">mathcomp.ssreflect.seq</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowE">rowE</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgD">rowgD</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgI">rowgI</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgK">rowgK</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowgS">rowgS</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mxSK">rowg_mxSK</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mxK">rowg_mxK</a> [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> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mx1">rowg_mx1</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_mxS">rowg_mxS</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg_stable">rowg_stable</a> [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> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg0">rowg0</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rowg1">rowg1</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowK">rowK</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowKd">rowKd</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowKu">rowKu</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rowP">rowP</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rowV0P">rowV0P</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rowV0Pn">rowV0Pn</a> [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> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_permE">row_permE</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mul">row_mul</a> [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> [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> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mx0">row_mx0</a> [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> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxA">row_mxA</a> [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> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxKr">row_mxKr</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxEr">row_mxEr</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxKl">row_mxKl</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_mxEl">row_mxEl</a> [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> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_eq">row_eq</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_id">row_id</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_permM">row_permM</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_perm1">row_perm1</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_const">row_const</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row_matrixP">row_matrixP</a> [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> [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> [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> [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> [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> [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> [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> [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> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_freeP">row_freeP</a> [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> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_fullP">row_fullP</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_subPn">row_subPn</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_subP">row_subP</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#row_sub">row_sub</a> [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> [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> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'Kd">row'Kd</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'Ku">row'Ku</a> [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> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'_eq">row'_eq</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row'_const">row'_const</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row0">row0</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.matrix.html#row1">row1</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredMz">rpredMz</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredXsign">rpredXsign</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredXz">rpredXz</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpredZint">rpredZint</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.field.algC.html#rpredZ_Cint">rpredZ_Cint</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#rpredZ_Cnat">rpredZ_Cnat</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.rat.html#rpred_rat">rpred_rat</a> [in <a href="mathcomp.algebra.rat.html">mathcomp.algebra.rat</a>]<br/> -<a href="mathcomp.field.algC.html#rpred_Crat">rpred_Crat</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#rpred_Cnat">rpred_Cnat</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.field.algC.html#rpred_Cint">rpred_Cint</a> [in <a href="mathcomp.field.algC.html">mathcomp.field.algC</a>]<br/> -<a href="mathcomp.algebra.poly.html#rpred_horner">rpred_horner</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.ssrint.html#rpred_int">rpred_int</a> [in <a href="mathcomp.algebra.ssrint.html">mathcomp.algebra.ssrint</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_div0">rreg_div0</a> [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> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_size">rreg_size</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_lead0">rreg_lead0</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.algebra.poly.html#rreg_lead">rreg_lead</a> [in <a href="mathcomp.algebra.poly.html">mathcomp.algebra.poly</a>]<br/> -<a href="mathcomp.ssreflect.fintype.html#rshift_subproof">rshift_subproof</a> [in <a href="mathcomp.ssreflect.fintype.html">mathcomp.ssreflect.fintype</a>]<br/> -<a href="mathcomp.algebra.zmodp.html#rshift1">rshift1</a> [in <a href="mathcomp.algebra.zmodp.html">mathcomp.algebra.zmodp</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_irr_comp">rsim_irr_comp</a> [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> [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> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rsim_submod1">rsim_submod1</a> [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> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabS">rstabS</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_map">rstabs_map</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_quo">rstabs_quo</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_conj">rstabs_conj</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_factmod">rstabs_factmod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_submod">rstabs_submod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_morphim">rstabs_morphim</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_morphpre">rstabs_morphpre</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_eqg">rstabs_eqg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_subg">rstabs_subg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_act">rstabs_act</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstabs_sub">rstabs_sub</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rstabs_abelemG">rstabs_abelemG</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rstabs_abelem">rstabs_abelem</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_map">rstab_map</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_normal">rstab_normal</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_norm">rstab_norm</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_factmod">rstab_factmod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_submod">rstab_submod</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_act">rstab_act</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_quo">rstab_quo</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_conj">rstab_conj</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_morphim">rstab_morphim</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_morphpre">rstab_morphpre</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_eqg">rstab_eqg</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_subg">rstab_subg</a> [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> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxrepresentation.html#rstab_sub">rstab_sub</a> [in <a href="mathcomp.character.mxrepresentation.html">mathcomp.character.mxrepresentation</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rstab_abelem">rstab_abelem</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.matrix.html#rsubmx_key">rsubmx_key</a> [in <a href="mathcomp.algebra.matrix.html">mathcomp.algebra.matrix</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemD">rVabelemD</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemJ">rVabelemJ</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemK">rVabelemK</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemN">rVabelemN</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemS">rVabelemS</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelemZ">rVabelemZ</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_minj">rVabelem_minj</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_mK">rVabelem_mK</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_injm">rVabelem_injm</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem_inj">rVabelem_inj</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.character.mxabelem.html#rVabelem0">rVabelem0</a> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#rVpolyK">rVpolyK</a> [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> [in <a href="mathcomp.algebra.mxpoly.html">mathcomp.algebra.mxpoly</a>]<br/> -<a href="mathcomp.algebra.mxpoly.html#rVpoly_delta">rVpoly_delta</a> [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> [in <a href="mathcomp.character.mxabelem.html">mathcomp.character.mxabelem</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rV_eqP">rV_eqP</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.algebra.mxalgebra.html#rV_subP">rV_subP</a> [in <a href="mathcomp.algebra.mxalgebra.html">mathcomp.algebra.mxalgebra</a>]<br/> -<a href="mathcomp.solvable.burnside_app.html#R012_inj">R012_inj</a> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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> [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 |