Top

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

P (Abbreviations)

p [abbrev, in mathcomp.boot.fintype]
P [abbrev, in mathcomp.boot.finset]
p [abbrev, in mathcomp.algebra.zmodp]
p_A [abbrev, in mathcomp.algebra.mxpoly]
passmx.m [abbrev, in mathcomp.algebra.vector]
passmx.m [abbrev, in mathcomp.algebra.vector]
passmx.m [abbrev, in mathcomp.algebra.vector]
passmx.n [abbrev, in mathcomp.algebra.vector]
passmx.n [abbrev, in mathcomp.algebra.vector]
passmx.n [abbrev, in mathcomp.algebra.vector]
passmx.n [abbrev, in mathcomp.algebra.vector]
passmx.p [abbrev, in mathcomp.algebra.vector]
path [abbrev, in mathcomp.boot.path]
path [abbrev, in mathcomp.boot.path]
pcore_faithful_mx_irr [abbrev, in mathcomp.group_representation.mxabelem]
pcore_sub_rker_mx_irr [abbrev, in mathcomp.group_representation.mxabelem]
pcore_sub_rstab_mxsimple [abbrev, in mathcomp.group_representation.mxabelem]
Pdiv.Field.leq_trunc_divp [abbrev, in mathcomp.algebra.polydiv]
Pdiv.IdomainUnit.leq_trunc_divp [abbrev, in mathcomp.algebra.polydiv]
perm [abbrev, in mathcomp.finite_group.perm]
perm_eql [abbrev, in mathcomp.boot.seq]
perm_eql [abbrev, in mathcomp.boot.seq]
perm_eqr [abbrev, in mathcomp.boot.seq]
perm_eqr [abbrev, in mathcomp.boot.seq]
perm_tseq [abbrev, in mathcomp.boot.seq]
perms [abbrev, in mathcomp.boot.seq]
pfamily [abbrev, in mathcomp.boot.finfun]
pffun_on [abbrev, in mathcomp.boot.finfun]
pFrobenius_aut [abbrev, in mathcomp.algebra.algebraic_hierarchy.rings_modules_and_algebras]
pFtoE [abbrev, in mathcomp.algebra.polyXY]
pi [abbrev, in mathcomp.boot.generic_quotient]
PiConst [abbrev, in mathcomp.boot.generic_quotient]
piE [abbrev, in mathcomp.boot.generic_quotient]
PiEmbed [abbrev, in mathcomp.boot.generic_quotient]
PiMono1 [abbrev, in mathcomp.boot.generic_quotient]
PiMono2 [abbrev, in mathcomp.boot.generic_quotient]
PiMorph [abbrev, in mathcomp.boot.generic_quotient]
PiMorph1 [abbrev, in mathcomp.boot.generic_quotient]
PiMorph11 [abbrev, in mathcomp.boot.generic_quotient]
PiMorph2 [abbrev, in mathcomp.boot.generic_quotient]
porbit [abbrev, in mathcomp.finite_group.perm]
Pos.sixteen [abbrev, in mathcomp.boot.ssrAC]
Pos.ten [abbrev, in mathcomp.boot.ssrAC]
pprod [abbrev, in mathcomp.finite_group.gproduct]
pprod [abbrev, in mathcomp.finite_group.gproduct]
pQtoC [abbrev, in mathcomp.field.cyclotomic]
pQtoC [abbrev, in mathcomp.field.algnum]
pQtoC [abbrev, in mathcomp.field.algC]
pred_of_set [abbrev, in mathcomp.boot.finset]
predn [abbrev, in mathcomp.boot.ssrnat]
predOfType [abbrev, in mathcomp.boot.finset]
prim_root_charF [abbrev, in mathcomp.algebra.poly]
primeChar_abelem [abbrev, in mathcomp.field.finfield]
primeChar_dimf [abbrev, in mathcomp.field.finfield]
primeChar_pgroup [abbrev, in mathcomp.field.finfield]
primeChar_scale [abbrev, in mathcomp.field.finfield]
primeChar_scale1 [abbrev, in mathcomp.field.finfield]
primeChar_scaleA [abbrev, in mathcomp.field.finfield]
primeChar_scaleAl [abbrev, in mathcomp.field.finfield]
primeChar_scaleAr [abbrev, in mathcomp.field.finfield]
primeChar_scaleDl [abbrev, in mathcomp.field.finfield]
primeChar_scaleDr [abbrev, in mathcomp.field.finfield]
primeChar_vectAxiom [abbrev, in mathcomp.field.finfield]
PrimeCharType [abbrev, in mathcomp.field.finfield]
PrimeIdealr [abbrev, in mathcomp.algebra.ring_quotient]
PrimeIdealr.clone [abbrev, in mathcomp.algebra.ring_quotient]
PrimeIdealr.copy [abbrev, in mathcomp.algebra.ring_quotient]
PrimeIdealr.Exports.prime_idealr [abbrev, in mathcomp.algebra.ring_quotient]
PrimeIdealr.on [abbrev, in mathcomp.algebra.ring_quotient]
PrimeIdealr.on_ [abbrev, in mathcomp.algebra.ring_quotient]
PrimePowerField [abbrev, in mathcomp.field.finfield]
ProperIdeal [abbrev, in mathcomp.algebra.ring_quotient]
ProperIdeal.clone [abbrev, in mathcomp.algebra.ring_quotient]
ProperIdeal.copy [abbrev, in mathcomp.algebra.ring_quotient]
ProperIdeal.Exports.proper_ideal [abbrev, in mathcomp.algebra.ring_quotient]
ProperIdeal.on [abbrev, in mathcomp.algebra.ring_quotient]
ProperIdeal.on_ [abbrev, in mathcomp.algebra.ring_quotient]
purely_inseparable_elementP [abbrev, in mathcomp.field.separable]
Px [abbrev, in mathcomp.field.galois]
pZtoC [abbrev, in mathcomp.field.cyclotomic]
pZtoC [abbrev, in mathcomp.field.algnum]
pZtoC [abbrev, in mathcomp.field.algC]
pZtoQ [abbrev, in mathcomp.field.cyclotomic]
pZtoQ [abbrev, in mathcomp.field.algnum]
pZtoQ [abbrev, in mathcomp.field.algC]
pZtoQ [abbrev, in mathcomp.algebra.rat]