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 | (69505 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 | (1943 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 | (39748 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 | (379 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 | (3958 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 | (91 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 | (13542 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 | (480 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 | (45 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 | (134 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 | (452 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 | (1344 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 | (1014 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 | (6127 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 | (248 entries) |

## W (binder)

weight:771 [in mathcomp.algebra.matrix]Wi:224 [in mathcomp.character.character]

wT:35 [in mathcomp.algebra.vector]

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

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

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

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

W1:485 [in mathcomp.character.classfun]

W1:816 [in mathcomp.character.mxrepresentation]

W2:486 [in mathcomp.character.classfun]

W2:817 [in mathcomp.character.mxrepresentation]

W:1008 [in mathcomp.character.mxrepresentation]

W:1015 [in mathcomp.character.mxrepresentation]

W:1016 [in mathcomp.character.mxrepresentation]

W:1091 [in mathcomp.algebra.mxalgebra]

W:1096 [in mathcomp.algebra.mxalgebra]

w:11 [in mathcomp.character.integral_char]

W:1101 [in mathcomp.algebra.mxalgebra]

W:1106 [in mathcomp.algebra.mxalgebra]

W:1111 [in mathcomp.algebra.mxalgebra]

w:1175 [in mathcomp.character.mxrepresentation]

w:1176 [in mathcomp.character.mxrepresentation]

W:118 [in mathcomp.character.character]

W:1180 [in mathcomp.character.mxrepresentation]

w:1197 [in mathcomp.algebra.ssrnum]

w:12 [in mathcomp.character.integral_char]

w:1200 [in mathcomp.algebra.ssrnum]

w:1202 [in mathcomp.algebra.ssrnum]

w:1204 [in mathcomp.algebra.ssrnum]

w:1206 [in mathcomp.algebra.ssrnum]

w:1208 [in mathcomp.algebra.ssrnum]

W:1223 [in mathcomp.character.mxrepresentation]

W:1229 [in mathcomp.character.mxrepresentation]

w:124 [in mathcomp.field.algnum]

W:1267 [in mathcomp.algebra.mxalgebra]

W:128 [in mathcomp.character.character]

W:1332 [in mathcomp.character.mxrepresentation]

W:1335 [in mathcomp.character.mxrepresentation]

W:1338 [in mathcomp.character.mxrepresentation]

W:1339 [in mathcomp.character.mxrepresentation]

W:1340 [in mathcomp.character.mxrepresentation]

W:1341 [in mathcomp.character.mxrepresentation]

W:1351 [in mathcomp.character.mxrepresentation]

W:1352 [in mathcomp.character.mxrepresentation]

w:1353 [in mathcomp.character.mxrepresentation]

W:1356 [in mathcomp.character.mxrepresentation]

W:1358 [in mathcomp.character.mxrepresentation]

W:1360 [in mathcomp.character.mxrepresentation]

W:1365 [in mathcomp.character.mxrepresentation]

W:1366 [in mathcomp.character.mxrepresentation]

W:1379 [in mathcomp.character.mxrepresentation]

W:1380 [in mathcomp.character.mxrepresentation]

W:1383 [in mathcomp.character.mxrepresentation]

W:1384 [in mathcomp.character.mxrepresentation]

W:143 [in mathcomp.character.character]

w:144 [in mathcomp.field.galois]

w:148 [in mathcomp.field.algebraics_fundamentals]

w:149 [in mathcomp.field.algebraics_fundamentals]

W:169 [in mathcomp.character.mxrepresentation]

W:172 [in mathcomp.character.mxrepresentation]

W:183 [in mathcomp.character.character]

W:185 [in mathcomp.character.character]

W:187 [in mathcomp.field.separable]

W:187 [in mathcomp.character.character]

W:189 [in mathcomp.field.separable]

W:194 [in mathcomp.character.mxrepresentation]

w:194 [in mathcomp.field.falgebra]

W:196 [in mathcomp.algebra.vector]

w:199 [in mathcomp.field.galois]

w:200 [in mathcomp.field.galois]

w:2050 [in mathcomp.algebra.ssrnum]

w:2051 [in mathcomp.algebra.ssrnum]

w:213 [in mathcomp.algebra.vector]

w:2158 [in mathcomp.algebra.ssralg]

w:2166 [in mathcomp.algebra.ssralg]

w:2167 [in mathcomp.algebra.ssralg]

w:2209 [in mathcomp.algebra.matrix]

w:223 [in mathcomp.field.algebraics_fundamentals]

W:229 [in mathcomp.character.mxrepresentation]

w:231 [in mathcomp.character.mxabelem]

W:231 [in mathcomp.character.mxrepresentation]

w:232 [in mathcomp.character.mxabelem]

W:233 [in mathcomp.character.mxrepresentation]

W:239 [in mathcomp.character.mxrepresentation]

W:241 [in mathcomp.character.mxrepresentation]

w:243 [in mathcomp.field.algebraics_fundamentals]

W:243 [in mathcomp.character.mxrepresentation]

W:245 [in mathcomp.character.mxrepresentation]

W:247 [in mathcomp.character.mxrepresentation]

W:248 [in mathcomp.algebra.vector]

W:253 [in mathcomp.character.mxrepresentation]

W:255 [in mathcomp.character.mxrepresentation]

W:257 [in mathcomp.character.mxrepresentation]

w:261 [in mathcomp.algebra.vector]

W:263 [in mathcomp.character.mxrepresentation]

w:264 [in mathcomp.algebra.vector]

W:265 [in mathcomp.character.mxrepresentation]

W:267 [in mathcomp.character.mxrepresentation]

W:269 [in mathcomp.character.mxrepresentation]

W:269 [in mathcomp.algebra.vector]

W:271 [in mathcomp.character.mxrepresentation]

W:272 [in mathcomp.algebra.vector]

W:273 [in mathcomp.character.mxrepresentation]

W:275 [in mathcomp.character.mxrepresentation]

W:277 [in mathcomp.character.mxrepresentation]

w:278 [in mathcomp.field.algebraics_fundamentals]

w:279 [in mathcomp.field.algebraics_fundamentals]

W:279 [in mathcomp.character.mxrepresentation]

W:284 [in mathcomp.character.mxrepresentation]

w:287 [in mathcomp.field.algebraics_fundamentals]

W:287 [in mathcomp.character.mxrepresentation]

w:288 [in mathcomp.field.algebraics_fundamentals]

W:290 [in mathcomp.character.mxrepresentation]

W:293 [in mathcomp.character.mxrepresentation]

w:306 [in mathcomp.field.falgebra]

w:307 [in mathcomp.field.falgebra]

W:309 [in mathcomp.character.mxrepresentation]

W:314 [in mathcomp.character.mxrepresentation]

W:318 [in mathcomp.character.mxrepresentation]

w:322 [in mathcomp.algebra.ssrnum]

W:337 [in mathcomp.character.mxrepresentation]

w:345 [in mathcomp.algebra.mxpoly]

w:351 [in mathcomp.field.closed_field]

w:352 [in mathcomp.field.closed_field]

W:367 [in mathcomp.character.mxrepresentation]

W:393 [in mathcomp.character.mxrepresentation]

W:436 [in mathcomp.character.mxrepresentation]

W:440 [in mathcomp.character.mxrepresentation]

W:453 [in mathcomp.character.mxrepresentation]

w:46 [in mathcomp.field.separable]

W:463 [in mathcomp.character.mxrepresentation]

W:495 [in mathcomp.character.mxrepresentation]

W:511 [in mathcomp.character.mxrepresentation]

w:512 [in mathcomp.field.galois]

w:513 [in mathcomp.field.galois]

w:518 [in mathcomp.field.galois]

w:519 [in mathcomp.field.galois]

w:522 [in mathcomp.field.galois]

w:523 [in mathcomp.field.galois]

W:526 [in mathcomp.character.mxrepresentation]

W:528 [in mathcomp.character.mxrepresentation]

W:554 [in mathcomp.algebra.vector]

W:555 [in mathcomp.character.mxrepresentation]

W:556 [in mathcomp.character.mxrepresentation]

w:557 [in mathcomp.ssreflect.bigop]

W:558 [in mathcomp.character.mxrepresentation]

W:559 [in mathcomp.character.mxrepresentation]

W:560 [in mathcomp.character.mxrepresentation]

W:561 [in mathcomp.character.mxrepresentation]

W:562 [in mathcomp.character.mxrepresentation]

W:563 [in mathcomp.character.mxrepresentation]

W:564 [in mathcomp.character.mxrepresentation]

W:565 [in mathcomp.character.mxrepresentation]

w:565 [in mathcomp.ssreflect.bigop]

W:567 [in mathcomp.character.mxrepresentation]

W:570 [in mathcomp.character.mxrepresentation]

w:572 [in mathcomp.ssreflect.bigop]

W:573 [in mathcomp.character.mxrepresentation]

W:575 [in mathcomp.character.mxrepresentation]

W:576 [in mathcomp.character.mxrepresentation]

W:577 [in mathcomp.character.mxrepresentation]

w:579 [in mathcomp.ssreflect.bigop]

W:583 [in mathcomp.character.mxrepresentation]

W:585 [in mathcomp.character.mxrepresentation]

W:586 [in mathcomp.character.mxrepresentation]

W:591 [in mathcomp.character.mxrepresentation]

w:648 [in mathcomp.algebra.vector]

W:668 [in mathcomp.character.mxrepresentation]

w:67 [in mathcomp.field.fieldext]

W:670 [in mathcomp.character.mxrepresentation]

W:672 [in mathcomp.character.mxrepresentation]

W:676 [in mathcomp.character.mxrepresentation]

W:678 [in mathcomp.character.mxrepresentation]

W:680 [in mathcomp.character.mxrepresentation]

W:71 [in mathcomp.field.falgebra]

w:73 [in mathcomp.field.algebraics_fundamentals]

W:746 [in mathcomp.algebra.vector]

W:750 [in mathcomp.algebra.vector]

W:752 [in mathcomp.algebra.vector]

W:755 [in mathcomp.algebra.vector]

w:776 [in mathcomp.algebra.vector]

w:778 [in mathcomp.algebra.vector]

w:781 [in mathcomp.algebra.vector]

w:784 [in mathcomp.algebra.vector]

w:787 [in mathcomp.ssreflect.fintype]

w:790 [in mathcomp.character.classfun]

w:790 [in mathcomp.algebra.vector]

w:794 [in mathcomp.algebra.vector]

w:798 [in mathcomp.algebra.vector]

w:800 [in mathcomp.algebra.vector]

w:805 [in mathcomp.algebra.vector]

w:812 [in mathcomp.algebra.vector]

W:815 [in mathcomp.character.mxrepresentation]

w:816 [in mathcomp.algebra.vector]

W:831 [in mathcomp.character.mxrepresentation]

W:839 [in mathcomp.character.mxrepresentation]

w:861 [in mathcomp.algebra.vector]

W:862 [in mathcomp.character.mxrepresentation]

W:863 [in mathcomp.character.mxrepresentation]

w:863 [in mathcomp.algebra.vector]

w:867 [in mathcomp.algebra.vector]

w:869 [in mathcomp.algebra.vector]

w:887 [in mathcomp.algebra.vector]

W:889 [in mathcomp.character.character]

W:890 [in mathcomp.character.character]

W:899 [in mathcomp.character.mxrepresentation]

W:902 [in mathcomp.character.mxrepresentation]

W:904 [in mathcomp.character.mxrepresentation]

W:909 [in mathcomp.character.mxrepresentation]

W:914 [in mathcomp.character.mxrepresentation]

W:918 [in mathcomp.character.mxrepresentation]

W:930 [in mathcomp.character.mxrepresentation]

W:932 [in mathcomp.character.mxrepresentation]

W:934 [in mathcomp.character.mxrepresentation]

W:935 [in mathcomp.character.mxrepresentation]

W:94 [in mathcomp.character.mxrepresentation]

W:952 [in mathcomp.character.mxrepresentation]

w:953 [in mathcomp.algebra.poly]

w:954 [in mathcomp.algebra.poly]

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 | (69505 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 | (1943 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 | (39748 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 | (379 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 | (3958 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 | (91 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 | (13542 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 | (480 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 | (45 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 | (134 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 | (452 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 | (1344 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 | (1014 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 | (6127 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 | (248 entries) |