Top

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

T (Definitions)

tact [def, in mathcomp.finite_group.perm]
tag_enum [def, in mathcomp.boot.fintype]
tag_eq [def, in mathcomp.boot.eqtype]
tag_of_pair [def, in mathcomp.boot.choice]
tag_with [def, in mathcomp.boot.eqtype]
tagged_as [def, in mathcomp.boot.eqtype]
tagged_tuple_bseq [def, in mathcomp.boot.tuple]
tagged_with [def, in mathcomp.boot.eqtype]
tagnat.Rank [def, in mathcomp.order.order]
tagnat.rank [def, in mathcomp.order.order]
tagnat.sig [def, in mathcomp.order.order]
tagnat.sig1 [def, in mathcomp.order.order]
tagnat.sig2 [def, in mathcomp.order.order]
take [def, in mathcomp.boot.seq]
take_bseq [def, in mathcomp.boot.tuple]
take_poly [def, in mathcomp.algebra.poly]
take_tuple [def, in mathcomp.boot.tuple]
tally [def, in mathcomp.boot.seq]
tally_seq [def, in mathcomp.boot.seq]
tcast [def, in mathcomp.boot.tuple]
tensor1 [def, in mathcomp.algebra.tensor]
tensor_dffun_index [def, in mathcomp.algebra.tensor]
tensor_dffun_unindex [def, in mathcomp.algebra.tensor]
tensor_index [def, in mathcomp.algebra.tensor]
tensor_nil [def, in mathcomp.algebra.tensor]
tensor_of_matrix [def, in mathcomp.algebra.tensor]
tensor_unindex [def, in mathcomp.algebra.tensor]
tensor_val [def, in mathcomp.algebra.tensor]
tensormx_index [def, in mathcomp.algebra.tensor]
tensormx_unindex [def, in mathcomp.algebra.tensor]
tfgraph [def, in mathcomp.boot.finfun]
tfgraph_inv [def, in mathcomp.boot.finfun]
thead [def, in mathcomp.boot.tuple]
tnth [def, in mathcomp.boot.tuple]
to [def, in mathcomp.solvable.burnside_app]
to_dirr [def, in mathcomp.group_representation.vcharacter]
to_family_tagged_with [def, in mathcomp.boot.finfun]
to_g [def, in mathcomp.solvable.burnside_app]
tofrac_is_additive [def, in mathcomp.algebra.fraction]
tofrac_is_multiplicative [def, in mathcomp.algebra.fraction]
total_fun [def, in mathcomp.boot.finfun]
TotalAction [def, in mathcomp.finite_group.action]
totient [def, in mathcomp.boot.prime]
tperm [def, in mathcomp.finite_group.perm]
tperm_mx [def, in mathcomp.algebra.matrix]
tprod [def, in mathcomp.group_representation.character]
traject [def, in mathcomp.boot.path]
transfer [def, in mathcomp.solvable.finmodule]
transfer_morphism [def, in mathcomp.solvable.finmodule]
transversal [def, in mathcomp.boot.finset]
transversal_repr [def, in mathcomp.boot.finset]
triv_morph [def, in mathcomp.finite_group.morphism]
trivGfun [def, in mathcomp.solvable.gfunctor]
trivGfun_gFun [def, in mathcomp.solvable.gfunctor]
trivGfun_igFun [def, in mathcomp.solvable.gfunctor]
trivGfun_pgFun [def, in mathcomp.solvable.gfunctor]
trivial_addv [def, in mathcomp.algebra.vector]
trivial_mxsum [def, in mathcomp.algebra.mxalgebra]
trivIset [def, in mathcomp.boot.finset]
trivm [def, in mathcomp.finite_group.morphism]
trmx [def, in mathcomp.algebra.matrix]
trow [def, in mathcomp.group_representation.character]
trowb [def, in mathcomp.group_representation.character]
trunc_log [def, in mathcomp.boot.prime]
tsize [def, in mathcomp.boot.tuple]
tuple [def, in mathcomp.boot.tuple]
tuple_of_finfun [def, in mathcomp.boot.finfun]
tuple_of_ntensor [def, in mathcomp.algebra.tensor]
tuple_of_otensor [def, in mathcomp.algebra.tensor]
tuple_predType [def, in mathcomp.boot.tuple]
TypInstances.nat_typ [def, in mathcomp.algebra.interval_inference]
TypInstances.real_domain_typ [def, in mathcomp.algebra.interval_inference]
TypInstances.real_field_typ [def, in mathcomp.algebra.interval_inference]
TypInstances.top_typ [def, in mathcomp.algebra.interval_inference]
TypInstances.typ_inum [def, in mathcomp.algebra.interval_inference]