Top

D (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

D (Definitions)

dadd_grepr [def, in mathcomp.group_representation.character]
daddv_pi [def, in mathcomp.algebra.vector]
dchi [def, in mathcomp.group_representation.vcharacter]
decidable_embedding [def, in mathcomp.field.algebraics_fundamentals]
defaultEncModRel [def, in mathcomp.boot.generic_quotient]
defaultEncModRelClass [def, in mathcomp.boot.generic_quotient]
degree_mxminpoly [def, in mathcomp.algebra.mxpoly]
delta_mx [def, in mathcomp.algebra.matrix]
denq [def, in mathcomp.algebra.rat]
denq_ge0 [def, in mathcomp.algebra.rat]
deprecated_CanEqMixin [def, in mathcomp.boot.eqtype]
deprecated_InjEqMixin [def, in mathcomp.boot.eqtype]
deprecated_PcanEqMixin [def, in mathcomp.boot.eqtype]
der_gFun [def, in mathcomp.solvable.commutator]
der_igFun [def, in mathcomp.solvable.commutator]
der_mgFun [def, in mathcomp.solvable.commutator]
deriv [def, in mathcomp.algebra.poly]
Derivation [def, in mathcomp.field.separable]
derivCE [def, in mathcomp.algebra.poly]
derivE [def, in mathcomp.algebra.poly]
derived_at [def, in mathcomp.solvable.commutator]
derived_at_group [def, in mathcomp.solvable.commutator]
derivn [def, in mathcomp.algebra.poly]
det_repr [def, in mathcomp.group_representation.character]
det_repr_mx [def, in mathcomp.group_representation.character]
determinant [def, in mathcomp.algebra.matrix]
detRepr [def, in mathcomp.group_representation.character]
dffun_morphism [def, in mathcomp.finite_group.gproduct]
dffun_of_fprod [def, in mathcomp.boot.finfun]
dfinfun_of [def, in mathcomp.boot.finfun]
dfs [def, in mathcomp.boot.fingraph]
dfung1 [def, in mathcomp.finite_group.gproduct]
dfung1_morphism [def, in mathcomp.finite_group.gproduct]
dfwith [def, in mathcomp.boot.eqtype]
diag_mx [def, in mathcomp.algebra.matrix]
diag_mx_is_additive [def, in mathcomp.algebra.matrix]
diag_mx_is_semi_additive [def, in mathcomp.algebra.matrix]
diff_roots [def, in mathcomp.algebra.poly]
diffmx.body [def, in mathcomp.algebra.mxalgebra]
diffmx.unlock [def, in mathcomp.algebra.mxalgebra]
diffmx_unlock_subterm [def, in mathcomp.algebra.mxalgebra]
diffmx_unlockable [def, in mathcomp.algebra.mxalgebra]
diffv [def, in mathcomp.algebra.vector]
dihedral_gtype [def, in mathcomp.solvable.extremal]
dIirr [def, in mathcomp.group_representation.vcharacter]
dim [def, in mathcomp.algebra.vector]
dim_gt0 [def, in mathcomp.algebra.vector]
dimv [def, in mathcomp.algebra.vector]
dinjectiveb [def, in mathcomp.boot.fintype]
dir_iso3 [def, in mathcomp.solvable.burnside_app]
dir_iso3l [def, in mathcomp.solvable.burnside_app]
direct_product [def, in mathcomp.finite_group.gproduct]
directv_def [def, in mathcomp.algebra.vector]
dirr [def, in mathcomp.group_representation.vcharacter]
dirr1 [def, in mathcomp.group_representation.vcharacter]
dirr_constt [def, in mathcomp.group_representation.vcharacter]
dirr_dIirr [def, in mathcomp.group_representation.vcharacter]
disjoint [def, in mathcomp.boot.fintype]
diso_group3 [def, in mathcomp.solvable.burnside_app]
div_annihilant [def, in mathcomp.algebra.polyXY]
divg_closed [def, in mathcomp.boot.monoid]
divgg [def, in mathcomp.boot.monoid]
divgK [def, in mathcomp.boot.monoid]
divgr [def, in mathcomp.finite_group.gproduct]
divisors [def, in mathcomp.boot.prime]
divn [def, in mathcomp.boot.div]
divq [def, in mathcomp.algebra.rat]
divz [def, in mathcomp.algebra.intdiv]
dlsubmx [def, in mathcomp.algebra.matrix]
dom [def, in mathcomp.finite_group.morphism]
dom_hom_mx [def, in mathcomp.group_representation.mxrepresentation]
Dot.pack_ [def, in mathcomp.algebra.sesquilinear]
Dot.phant_clone [def, in mathcomp.algebra.sesquilinear]
Dot.phant_on_ [def, in mathcomp.algebra.sesquilinear]
dotmx [def, in mathcomp.algebra.spectral]
double [def, in mathcomp.boot.ssrnat]
double_inj [def, in mathcomp.boot.ssrnat]
double_rec [def, in mathcomp.boot.ssrnat]
dpair [def, in mathcomp.finite_group.perm]
dprod_Iirr [def, in mathcomp.group_representation.character]
dprodl_Iirr [def, in mathcomp.group_representation.character]
dprodm [def, in mathcomp.finite_group.gproduct]
dprodm_morphism [def, in mathcomp.finite_group.gproduct]
dprodr_Iirr [def, in mathcomp.group_representation.character]
drop [def, in mathcomp.boot.seq]
drop_bseq [def, in mathcomp.boot.tuple]
drop_poly [def, in mathcomp.algebra.poly]
drop_tuple [def, in mathcomp.boot.tuple]
drsubmx [def, in mathcomp.algebra.matrix]
dsubmx [def, in mathcomp.algebra.matrix]
dtuple_on [def, in mathcomp.solvable.primitive_action]
dvdA [def, in mathcomp.field.algnum]
dvdn [def, in mathcomp.boot.div]
dvdz [def, in mathcomp.algebra.intdiv]