Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (100113 entries) |

Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1864 entries) |

Binder Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (49278 entries) |

Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1631 entries) |

Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6978 entries) |

Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (94 entries) |

Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (14781 entries) |

Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (75 entries) |

Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (222 entries) |

Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (131 entries) |

Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2030 entries) |

Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2189 entries) |

Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1149 entries) |

Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19126 entries) |

Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (565 entries) |

## W (binder)

weight:778 [in mathcomp.algebra.matrix]wf_proj:2019 [in mathcomp.algebra.ssralg]

Wi:246 [in mathcomp.character.character]

wT:26 [in mathcomp.algebra.vector]

W':1045 [in mathcomp.character.mxrepresentation]

W':1046 [in mathcomp.character.mxrepresentation]

W':1047 [in mathcomp.character.mxrepresentation]

W':1048 [in mathcomp.character.mxrepresentation]

W':1049 [in mathcomp.character.mxrepresentation]

W':1050 [in mathcomp.character.mxrepresentation]

W':1051 [in mathcomp.character.mxrepresentation]

W':1052 [in mathcomp.character.mxrepresentation]

W':1053 [in mathcomp.character.mxrepresentation]

W':644 [in mathcomp.character.mxrepresentation]

W1:567 [in mathcomp.character.classfun]

W1:906 [in mathcomp.character.mxrepresentation]

W2:568 [in mathcomp.character.classfun]

W2:907 [in mathcomp.character.mxrepresentation]

W:100 [in mathcomp.character.mxrepresentation]

W:1000 [in mathcomp.character.mxrepresentation]

W:1003 [in mathcomp.character.mxrepresentation]

W:1004 [in mathcomp.character.character]

W:1005 [in mathcomp.character.mxrepresentation]

W:1005 [in mathcomp.character.character]

W:1006 [in mathcomp.character.character]

W:1007 [in mathcomp.character.character]

W:1008 [in mathcomp.character.character]

W:1009 [in mathcomp.character.character]

w:1011 [in mathcomp.algebra.vector]

w:1013 [in mathcomp.algebra.vector]

w:1017 [in mathcomp.algebra.vector]

w:1019 [in mathcomp.algebra.vector]

W:1022 [in mathcomp.character.mxrepresentation]

W:1027 [in mathcomp.character.mxrepresentation]

W:1033 [in mathcomp.character.mxrepresentation]

w:1041 [in mathcomp.algebra.vector]

W:1061 [in mathcomp.character.mxrepresentation]

W:1063 [in mathcomp.character.mxrepresentation]

W:1065 [in mathcomp.character.mxrepresentation]

W:1066 [in mathcomp.character.mxrepresentation]

W:1083 [in mathcomp.character.mxrepresentation]

w:11 [in mathcomp.character.integral_char]

W:1139 [in mathcomp.character.mxrepresentation]

W:1146 [in mathcomp.character.mxrepresentation]

W:1147 [in mathcomp.character.mxrepresentation]

W:118 [in mathcomp.character.character]

W:1190 [in mathcomp.algebra.mxalgebra]

W:1195 [in mathcomp.algebra.mxalgebra]

w:12 [in mathcomp.character.integral_char]

W:1200 [in mathcomp.algebra.mxalgebra]

W:1205 [in mathcomp.algebra.mxalgebra]

w:1210 [in mathcomp.algebra.ssrnum]

W:1210 [in mathcomp.algebra.mxalgebra]

w:1213 [in mathcomp.algebra.ssrnum]

w:1215 [in mathcomp.algebra.ssrnum]

w:1217 [in mathcomp.algebra.ssrnum]

w:1219 [in mathcomp.algebra.ssrnum]

w:1221 [in mathcomp.algebra.ssrnum]

w:1274 [in mathcomp.algebra.poly]

w:1275 [in mathcomp.algebra.poly]

w:1276 [in mathcomp.algebra.poly]

w:1277 [in mathcomp.algebra.poly]

w:1278 [in mathcomp.algebra.poly]

w:1279 [in mathcomp.algebra.poly]

W:130 [in mathcomp.character.character]

w:1332 [in mathcomp.character.mxrepresentation]

w:1333 [in mathcomp.character.mxrepresentation]

W:1337 [in mathcomp.character.mxrepresentation]

w:139 [in mathcomp.field.algnum]

W:1390 [in mathcomp.character.mxrepresentation]

W:1396 [in mathcomp.character.mxrepresentation]

W:1396 [in mathcomp.algebra.mxalgebra]

W:1397 [in mathcomp.character.mxrepresentation]

W:1398 [in mathcomp.character.mxrepresentation]

w:143 [in mathcomp.field.galois]

w:144 [in mathcomp.field.galois]

w:145 [in mathcomp.field.galois]

W:1507 [in mathcomp.character.mxrepresentation]

W:1510 [in mathcomp.character.mxrepresentation]

W:1513 [in mathcomp.character.mxrepresentation]

W:1514 [in mathcomp.character.mxrepresentation]

W:1515 [in mathcomp.character.mxrepresentation]

W:1516 [in mathcomp.character.mxrepresentation]

W:1526 [in mathcomp.character.mxrepresentation]

W:1527 [in mathcomp.character.mxrepresentation]

w:1528 [in mathcomp.character.mxrepresentation]

W:1531 [in mathcomp.character.mxrepresentation]

W:1533 [in mathcomp.character.mxrepresentation]

W:1535 [in mathcomp.character.mxrepresentation]

W:1544 [in mathcomp.character.mxrepresentation]

W:1545 [in mathcomp.character.mxrepresentation]

W:1558 [in mathcomp.character.mxrepresentation]

W:1559 [in mathcomp.character.mxrepresentation]

W:1562 [in mathcomp.character.mxrepresentation]

W:1563 [in mathcomp.character.mxrepresentation]

W:157 [in mathcomp.character.character]

w:161 [in mathcomp.field.algebraics_fundamentals]

w:162 [in mathcomp.field.algebraics_fundamentals]

W:177 [in mathcomp.character.mxrepresentation]

W:180 [in mathcomp.character.mxrepresentation]

w:186 [in mathcomp.field.falgebra]

W:201 [in mathcomp.field.separable]

W:201 [in mathcomp.character.character]

W:202 [in mathcomp.character.mxrepresentation]

W:203 [in mathcomp.field.separable]

W:203 [in mathcomp.character.character]

W:205 [in mathcomp.character.character]

w:2206 [in mathcomp.algebra.ssrnum]

w:2207 [in mathcomp.algebra.ssrnum]

w:222 [in mathcomp.field.galois]

w:223 [in mathcomp.field.galois]

w:224 [in mathcomp.field.galois]

w:225 [in mathcomp.field.galois]

w:226 [in mathcomp.field.galois]

w:227 [in mathcomp.field.galois]

w:236 [in mathcomp.field.algebraics_fundamentals]

w:239 [in mathcomp.character.mxabelem]

w:240 [in mathcomp.character.mxabelem]

w:240 [in mathcomp.algebra.ssrnum]

W:241 [in mathcomp.character.mxrepresentation]

W:243 [in mathcomp.character.mxrepresentation]

W:244 [in mathcomp.algebra.vector]

W:245 [in mathcomp.character.mxrepresentation]

W:251 [in mathcomp.character.mxrepresentation]

W:253 [in mathcomp.character.mxrepresentation]

W:255 [in mathcomp.character.mxrepresentation]

W:2556 [in mathcomp.algebra.ssralg]

w:256 [in mathcomp.field.algebraics_fundamentals]

w:2562 [in mathcomp.algebra.matrix]

W:2565 [in mathcomp.algebra.ssralg]

W:257 [in mathcomp.character.mxrepresentation]

W:2571 [in mathcomp.algebra.ssralg]

W:2575 [in mathcomp.algebra.ssralg]

W:2584 [in mathcomp.algebra.ssralg]

W:259 [in mathcomp.character.mxrepresentation]

w:2592 [in mathcomp.algebra.ssralg]

W:2604 [in mathcomp.algebra.ssralg]

w:261 [in mathcomp.algebra.vector]

W:2610 [in mathcomp.algebra.ssralg]

W:2618 [in mathcomp.algebra.ssralg]

W:2629 [in mathcomp.algebra.ssralg]

W:2635 [in mathcomp.algebra.ssralg]

W:2643 [in mathcomp.algebra.ssralg]

W:265 [in mathcomp.character.mxrepresentation]

W:267 [in mathcomp.character.mxrepresentation]

W:269 [in mathcomp.character.mxrepresentation]

W:275 [in mathcomp.character.mxrepresentation]

W:277 [in mathcomp.character.mxrepresentation]

W:2774 [in mathcomp.algebra.ssralg]

W:2783 [in mathcomp.algebra.ssralg]

W:279 [in mathcomp.character.mxrepresentation]

W:2791 [in mathcomp.algebra.ssralg]

W:2800 [in mathcomp.algebra.ssralg]

W:2808 [in mathcomp.algebra.ssralg]

W:281 [in mathcomp.character.mxrepresentation]

W:2817 [in mathcomp.algebra.ssralg]

W:283 [in mathcomp.character.mxrepresentation]

W:285 [in mathcomp.character.mxrepresentation]

w:291 [in mathcomp.field.algebraics_fundamentals]

W:291 [in mathcomp.character.mxrepresentation]

w:292 [in mathcomp.field.algebraics_fundamentals]

W:293 [in mathcomp.character.mxrepresentation]

W:295 [in mathcomp.character.mxrepresentation]

w:300 [in mathcomp.field.algebraics_fundamentals]

W:300 [in mathcomp.character.mxrepresentation]

w:301 [in mathcomp.field.algebraics_fundamentals]

w:302 [in mathcomp.field.falgebra]

W:303 [in mathcomp.character.mxrepresentation]

w:303 [in mathcomp.field.falgebra]

W:306 [in mathcomp.character.mxrepresentation]

W:308 [in mathcomp.algebra.vector]

W:309 [in mathcomp.character.mxrepresentation]

w:321 [in mathcomp.algebra.vector]

w:324 [in mathcomp.algebra.vector]

W:329 [in mathcomp.character.mxrepresentation]

W:329 [in mathcomp.algebra.vector]

W:332 [in mathcomp.algebra.vector]

W:334 [in mathcomp.character.mxrepresentation]

W:338 [in mathcomp.character.mxrepresentation]

W:357 [in mathcomp.character.mxrepresentation]

w:378 [in mathcomp.field.closed_field]

w:379 [in mathcomp.field.closed_field]

W:387 [in mathcomp.character.mxrepresentation]

w:40 [in mathcomp.field.fieldext]

w:403 [in mathcomp.algebra.mxpoly]

W:415 [in mathcomp.character.mxrepresentation]

W:460 [in mathcomp.character.mxrepresentation]

W:464 [in mathcomp.character.mxrepresentation]

W:487 [in mathcomp.character.mxrepresentation]

w:49 [in mathcomp.field.separable]

W:503 [in mathcomp.character.mxrepresentation]

W:547 [in mathcomp.character.mxrepresentation]

W:575 [in mathcomp.character.mxrepresentation]

W:594 [in mathcomp.character.mxrepresentation]

W:596 [in mathcomp.character.mxrepresentation]

W:61 [in mathcomp.field.falgebra]

w:613 [in mathcomp.field.galois]

w:614 [in mathcomp.field.galois]

W:616 [in mathcomp.algebra.mxpoly]

W:622 [in mathcomp.algebra.mxpoly]

w:623 [in mathcomp.field.galois]

w:624 [in mathcomp.field.galois]

w:627 [in mathcomp.field.galois]

w:628 [in mathcomp.field.galois]

W:631 [in mathcomp.character.mxrepresentation]

W:632 [in mathcomp.character.mxrepresentation]

W:634 [in mathcomp.character.mxrepresentation]

W:635 [in mathcomp.algebra.mxpoly]

W:635 [in mathcomp.character.mxrepresentation]

W:636 [in mathcomp.character.mxrepresentation]

W:637 [in mathcomp.character.mxrepresentation]

W:638 [in mathcomp.character.mxrepresentation]

W:639 [in mathcomp.character.mxrepresentation]

W:640 [in mathcomp.algebra.mxpoly]

W:640 [in mathcomp.character.mxrepresentation]

W:641 [in mathcomp.character.mxrepresentation]

W:643 [in mathcomp.character.mxrepresentation]

W:645 [in mathcomp.algebra.mxpoly]

W:646 [in mathcomp.character.mxrepresentation]

W:649 [in mathcomp.algebra.mxpoly]

W:649 [in mathcomp.character.mxrepresentation]

W:650 [in mathcomp.character.mxrepresentation]

W:651 [in mathcomp.character.mxrepresentation]

W:653 [in mathcomp.character.mxrepresentation]

W:654 [in mathcomp.character.mxrepresentation]

W:655 [in mathcomp.character.mxrepresentation]

W:661 [in mathcomp.character.mxrepresentation]

W:662 [in mathcomp.character.mxrepresentation]

W:663 [in mathcomp.character.mxrepresentation]

W:665 [in mathcomp.character.mxrepresentation]

W:666 [in mathcomp.character.mxrepresentation]

W:667 [in mathcomp.character.mxrepresentation]

W:668 [in mathcomp.character.mxrepresentation]

W:669 [in mathcomp.character.mxrepresentation]

W:670 [in mathcomp.character.mxrepresentation]

W:675 [in mathcomp.character.mxrepresentation]

W:679 [in mathcomp.algebra.vector]

W:703 [in mathcomp.algebra.mxpoly]

W:707 [in mathcomp.algebra.mxpoly]

W:758 [in mathcomp.character.mxrepresentation]

W:760 [in mathcomp.character.mxrepresentation]

W:762 [in mathcomp.character.mxrepresentation]

W:766 [in mathcomp.character.mxrepresentation]

W:768 [in mathcomp.character.mxrepresentation]

W:770 [in mathcomp.character.mxrepresentation]

w:776 [in mathcomp.algebra.vector]

w:86 [in mathcomp.field.algebraics_fundamentals]

W:882 [in mathcomp.algebra.vector]

W:886 [in mathcomp.algebra.vector]

W:888 [in mathcomp.algebra.vector]

W:891 [in mathcomp.algebra.vector]

W:905 [in mathcomp.character.mxrepresentation]

w:909 [in mathcomp.character.classfun]

w:910 [in mathcomp.character.classfun]

w:911 [in mathcomp.character.classfun]

w:912 [in mathcomp.character.classfun]

w:912 [in mathcomp.algebra.vector]

w:913 [in mathcomp.character.classfun]

w:914 [in mathcomp.algebra.vector]

w:917 [in mathcomp.algebra.vector]

w:920 [in mathcomp.algebra.vector]

w:921 [in mathcomp.algebra.matrix]

W:922 [in mathcomp.character.mxrepresentation]

w:926 [in mathcomp.algebra.vector]

W:930 [in mathcomp.character.mxrepresentation]

w:930 [in mathcomp.algebra.vector]

w:934 [in mathcomp.algebra.vector]

w:936 [in mathcomp.algebra.vector]

w:941 [in mathcomp.algebra.vector]

w:948 [in mathcomp.algebra.vector]

w:952 [in mathcomp.algebra.vector]

W:957 [in mathcomp.character.mxrepresentation]

w:957 [in mathcomp.ssreflect.bigop]

W:958 [in mathcomp.character.mxrepresentation]

W:959 [in mathcomp.character.mxrepresentation]

W:960 [in mathcomp.character.mxrepresentation]

w:969 [in mathcomp.ssreflect.bigop]

w:975 [in mathcomp.ssreflect.fintype]

w:980 [in mathcomp.ssreflect.bigop]

w:991 [in mathcomp.ssreflect.bigop]

Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (100113 entries) |

Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1864 entries) |

Binder Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (49278 entries) |

Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1631 entries) |

Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6978 entries) |

Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (94 entries) |

Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (14781 entries) |

Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (75 entries) |

Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (222 entries) |

Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (131 entries) |

Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2030 entries) |

Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2189 entries) |

Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1149 entries) |

Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19126 entries) |

Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (565 entries) |