Top

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]