Top

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

W (Abbreviations)

W [abbrev, in mathcomp.group_representation.character]
W [abbrev, in mathcomp.group_representation.character]
Wedderburn_center [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_closed [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_is_id [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_is_ring [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_min_ideal [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_subring_center [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_sum [abbrev, in mathcomp.group_representation.mxrepresentation]
Wedderburn_sum_id [abbrev, in mathcomp.group_representation.mxrepresentation]