Top

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

R (Abbreviations)

r [abbrev, in mathcomp.group_representation.mxabelem]
R [abbrev, in mathcomp.field.finfield]
R [abbrev, in mathcomp.field.finfield]
R_G [abbrev, in mathcomp.group_representation.mxrepresentation]
R_G [abbrev, in mathcomp.group_representation.mxrepresentation]
R_G [abbrev, in mathcomp.group_representation.integral_char]
radmx [abbrev, in mathcomp.algebra.sesquilinear]
radv [abbrev, in mathcomp.algebra.sesquilinear]
range [abbrev, in mathcomp.finite_group.action]
rank_irr_comp [abbrev, in mathcomp.group_representation.mxrepresentation]
rank_Wedderburn_subring [abbrev, in mathcomp.group_representation.mxrepresentation]
realmx [abbrev, in mathcomp.algebra.spectral]
refBaseField [abbrev, in mathcomp.field.fieldext]
regular_op_inj [abbrev, in mathcomp.group_representation.mxrepresentation]
reindex_perm [abbrev, in mathcomp.finite_group.perm]
rel_adjunction [abbrev, in mathcomp.boot.fingraph]
rel_adjunction [abbrev, in mathcomp.boot.fingraph]
repr [abbrev, in mathcomp.boot.generic_quotient]
reprG [abbrev, in mathcomp.group_representation.mxrepresentation]
reprG [abbrev, in mathcomp.group_representation.character]
reprG [abbrev, in mathcomp.group_representation.character]
restrictmx [abbrev, in mathcomp.algebra.mxred]
restrictmx [abbrev, in mathcomp.algebra.mxred]
restrictmx [abbrev, in mathcomp.algebra.mxpoly]
restrictmx [abbrev, in mathcomp.algebra.mxpoly]
rfix_pgroup_char [abbrev, in mathcomp.group_representation.mxabelem]
rG [abbrev, in mathcomp.group_representation.mxrepresentation]
rG [abbrev, in mathcomp.group_representation.mxrepresentation]
rG [abbrev, in mathcomp.group_representation.mxabelem]
rGB [abbrev, in mathcomp.group_representation.mxrepresentation]
rGB [abbrev, in mathcomp.group_representation.mxrepresentation]
rGf [abbrev, in mathcomp.group_representation.mxrepresentation]
rGf [abbrev, in mathcomp.group_representation.mxrepresentation]
rGf [abbrev, in mathcomp.group_representation.mxrepresentation]
rGf [abbrev, in mathcomp.group_representation.mxrepresentation]
rGH [abbrev, in mathcomp.group_representation.mxrepresentation]
rGH [abbrev, in mathcomp.group_representation.mxrepresentation]
rH [abbrev, in mathcomp.group_representation.mxrepresentation]
rH [abbrev, in mathcomp.group_representation.mxrepresentation]
rH [abbrev, in mathcomp.group_representation.mxrepresentation]
rH [abbrev, in mathcomp.group_representation.mxrepresentation]
rH [abbrev, in mathcomp.group_representation.mxabelem]
rHG [abbrev, in mathcomp.group_representation.mxabelem]
ringQuotType [abbrev, in mathcomp.algebra.ring_quotient]
ringType [abbrev, in mathcomp.algebra.algebraic_hierarchy.ssralg]
rowsub [abbrev, in mathcomp.algebra.matrix]
rowsub [abbrev, in mathcomp.algebra.matrix]
rowsub [abbrev, in mathcomp.algebra.matrix]
rsim_irr_comp [abbrev, in mathcomp.group_representation.mxrepresentation]
rsim_regular_submod [abbrev, in mathcomp.group_representation.mxrepresentation]
rsimC [abbrev, in mathcomp.group_representation.mxrepresentation]
rsimT [abbrev, in mathcomp.group_representation.mxrepresentation]
rU [abbrev, in mathcomp.group_representation.mxrepresentation]
rU' [abbrev, in mathcomp.group_representation.mxrepresentation]
rV_E [abbrev, in mathcomp.group_representation.mxabelem]
rVn [abbrev, in mathcomp.group_representation.mxabelem]
rVn [abbrev, in mathcomp.group_representation.mxabelem]
rVn [abbrev, in mathcomp.group_representation.mxabelem]