Top

D (Abbreviations)

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

D (Abbreviations)

d [abbrev, in mathcomp.algebra.mxpoly]
d_cons [abbrev, in mathcomp.algebra.tensor]
dc [abbrev, in mathcomp.boot.choice]
defHgX [abbrev, in mathcomp.solvable.finmodule]
dffun_aT [abbrev, in mathcomp.boot.finfun]
diagonalizable [abbrev, in mathcomp.algebra.mxred]
diagonalizable [abbrev, in mathcomp.algebra.mxpoly]
diagonalizable_for [abbrev, in mathcomp.algebra.mxpoly]
diagonalizable_in [abbrev, in mathcomp.algebra.mxred]
diagonalizable_in [abbrev, in mathcomp.algebra.mxpoly]
diffmx [abbrev, in mathcomp.algebra.mxalgebra]
directv [abbrev, in mathcomp.algebra.vector]
directv [abbrev, in mathcomp.algebra.vector]
dom [abbrev, in mathcomp.finite_group.action]
Dot [abbrev, in mathcomp.algebra.sesquilinear]
Dot.clone [abbrev, in mathcomp.algebra.sesquilinear]
Dot.copy [abbrev, in mathcomp.algebra.sesquilinear]
Dot.on [abbrev, in mathcomp.algebra.sesquilinear]
Dot.on_ [abbrev, in mathcomp.algebra.sesquilinear]
dotmx_def [abbrev, in mathcomp.algebra.spectral]
dprod [abbrev, in mathcomp.finite_group.gproduct]
dprod [abbrev, in mathcomp.finite_group.gproduct]
dvdz_charf [abbrev, in mathcomp.algebra.intdiv]