Top

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

L (Definitions)

lagrange [def, in mathcomp.algebra.qpoly]
last [def, in mathcomp.boot.seq]
lcmn [def, in mathcomp.boot.div]
lcmz [def, in mathcomp.algebra.intdiv]
lcn_gFun [def, in mathcomp.solvable.nilpotent]
lcn_igFun [def, in mathcomp.solvable.nilpotent]
lcn_mgFun [def, in mathcomp.solvable.nilpotent]
lcoset [def, in mathcomp.finite_group.fingroup]
lcosets [def, in mathcomp.finite_group.fingroup]
Ldiv [def, in mathcomp.solvable.abelian]
le_bound [def, in mathcomp.algebra.interval]
le_rat [def, in mathcomp.algebra.rat]
lead_coef [def, in mathcomp.algebra.poly]
leC_nat [def, in mathcomp.field.algC]
left_mx_ideal [def, in mathcomp.algebra.mxalgebra]
leq [def, in mathcomp.boot.ssrnat]
leq_of_leqif [def, in mathcomp.boot.ssrnat]
leqif [def, in mathcomp.boot.ssrnat]
lfun_algType [def, in mathcomp.algebra.vector]
lfun_comp_nzRingType [def, in mathcomp.algebra.vector]
lfun_comp_pzSemiRingType [def, in mathcomp.algebra.vector]
lfun_img [def, in mathcomp.algebra.vector]
lfun_img_def [def, in mathcomp.algebra.vector]
lfun_img_unlockable [def, in mathcomp.algebra.vector]
lfun_lalgType [def, in mathcomp.algebra.vector]
lfun_nzRingType [def, in mathcomp.algebra.vector]
lfun_preim [def, in mathcomp.algebra.vector]
lfun_simp [def, in mathcomp.algebra.vector]
lift [def, in mathcomp.boot.fintype]
lift0_mx [def, in mathcomp.algebra.matrix]
lift0_perm [def, in mathcomp.finite_group.perm]
lift_perm [def, in mathcomp.finite_group.perm]
lift_perm_fun [def, in mathcomp.finite_group.perm]
lin1_mx [def, in mathcomp.algebra.matrix]
lin_mul_row [def, in mathcomp.algebra.matrix]
lin_mulmx [def, in mathcomp.algebra.matrix]
lin_mulmxr [def, in mathcomp.algebra.matrix]
lin_mx [def, in mathcomp.algebra.matrix]
linear_char [def, in mathcomp.group_representation.character]
linear_char_pred [def, in mathcomp.group_representation.character]
linear_irr [def, in mathcomp.group_representation.mxrepresentation]
linfun [def, in mathcomp.algebra.vector]
linfun_ahom [def, in mathcomp.field.falgebra]
linfun_def [def, in mathcomp.algebra.vector]
linfun_unlockable [def, in mathcomp.algebra.vector]
lker [def, in mathcomp.algebra.vector]
Lmodule_hasFinDim.phant_axioms [def, in mathcomp.algebra.vector]
Lmodule_hasFinDim.phant_Build [def, in mathcomp.algebra.vector]
logn [def, in mathcomp.boot.prime]
logn_rec [def, in mathcomp.boot.prime]
looping [def, in mathcomp.boot.path]
lower_central_at [def, in mathcomp.solvable.nilpotent]
lower_central_at_group [def, in mathcomp.solvable.nilpotent]
LSemiModule_hasFinDim.identity_builder [def, in mathcomp.algebra.vector]
LSemiModule_hasFinDim.phant_axioms [def, in mathcomp.algebra.vector]
LSemiModule_hasFinDim.phant_Build [def, in mathcomp.algebra.vector]
lshift [def, in mathcomp.boot.fintype]
lsubmx [def, in mathcomp.algebra.matrix]
lt_bound [def, in mathcomp.algebra.interval]
lt_rat [def, in mathcomp.algebra.rat]
ltC_nat [def, in mathcomp.field.algC]
lteBSide [def, in mathcomp.algebra.interval]
lteNz_nat [def, in mathcomp.algebra.ssrint]
ltez_nat [def, in mathcomp.algebra.ssrint]
ltez_natE [def, in mathcomp.algebra.ssrint]
ltezN_nat [def, in mathcomp.algebra.ssrint]
ltmx [def, in mathcomp.algebra.mxalgebra]
ltn [def, in mathcomp.boot.ssrnat]