V (Definitions)
| Files | 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 | _ |
| Definitions | 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 | _ |
| Lemmas | 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 | _ |
| Abbreviations | 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 | _ |
| 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 | _ |
| Notations |
V (Definitions)
val_factmod [def, in mathcomp.group_representation.mxrepresentation]val_subdef [def, in mathcomp.boot.eqtype]
val_submod [def, in mathcomp.group_representation.mxrepresentation]
Vandermonde [def, in mathcomp.algebra.matrix]
vbasis [def, in mathcomp.algebra.vector]
vbasis_def [def, in mathcomp.algebra.vector]
vbasis_unlockable [def, in mathcomp.algebra.vector]
vec_mx [def, in mathcomp.algebra.matrix]
Vector.Exports.join_vector_Vector_between_Algebra_BaseZmodule_and_vector_SemiVector [def, in mathcomp.algebra.vector]
Vector.Exports.join_vector_Vector_between_GRing_Lmodule_and_vector_SemiVector [def, in mathcomp.algebra.vector]
Vector.Exports.join_vector_Vector_between_vector_SemiVector_and_Algebra_Zmodule [def, in mathcomp.algebra.vector]
Vector.pack_ [def, in mathcomp.algebra.vector]
Vector.phant_clone [def, in mathcomp.algebra.vector]
Vector.phant_on_ [def, in mathcomp.algebra.vector]
vector_axiom_def [def, in mathcomp.algebra.vector]
vector_subdef [def, in mathcomp.algebra.vector]
VectorInternalTheory.b2mx [def, in mathcomp.algebra.vector]
VectorInternalTheory.f2mx [def, in mathcomp.algebra.vector]
VectorInternalTheory.mx2vs [def, in mathcomp.algebra.vector]
VectorInternalTheory.r2v [def, in mathcomp.algebra.vector]
VectorInternalTheory.v2r [def, in mathcomp.algebra.vector]
VectorInternalTheory.vs2mx [def, in mathcomp.algebra.vector]
vline [def, in mathcomp.algebra.vector]
vpick [def, in mathcomp.algebra.vector]
vrefl_rect [def, in mathcomp.boot.eqtype]
vs2mx_sum_expr [def, in mathcomp.algebra.vector]
vsolve_eq [def, in mathcomp.algebra.vector]
vspace_predType [def, in mathcomp.algebra.vector]
vspaceOver [def, in mathcomp.field.fieldext]
vsproj [def, in mathcomp.algebra.vector]
vsproj_def [def, in mathcomp.algebra.vector]
vsproj_unlockable [def, in mathcomp.algebra.vector]
vsval [def, in mathcomp.algebra.vector]
vsval_is_multiplicative [def, in mathcomp.field.fieldext]