Top

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

U (Abbreviations)

u_cons [abbrev, in mathcomp.algebra.tensor]
u_cons [abbrev, in mathcomp.algebra.tensor]
ufcycle [abbrev, in mathcomp.boot.path]
UMagma [abbrev, in mathcomp.boot.monoid]
UMagma.clone [abbrev, in mathcomp.boot.monoid]
UMagma.copy [abbrev, in mathcomp.boot.monoid]
UMagma.Exports.umagmaType [abbrev, in mathcomp.boot.monoid]
UMagma.on [abbrev, in mathcomp.boot.monoid]
UMagma.on_ [abbrev, in mathcomp.boot.monoid]
UMagma_isMonoid [abbrev, in mathcomp.boot.monoid]
UMagma_isMonoid.axioms [abbrev, in mathcomp.boot.monoid]
UMagma_isMonoid.Build [abbrev, in mathcomp.boot.monoid]
UMagmaClosed [abbrev, in mathcomp.boot.monoid]
UMagmaClosed.clone [abbrev, in mathcomp.boot.monoid]
UMagmaClosed.copy [abbrev, in mathcomp.boot.monoid]
UMagmaClosed.Exports.umagmaClosed [abbrev, in mathcomp.boot.monoid]
UMagmaClosed.on [abbrev, in mathcomp.boot.monoid]
UMagmaClosed.on_ [abbrev, in mathcomp.boot.monoid]
UMagmaMorphism [abbrev, in mathcomp.boot.monoid]
UMagmaMorphism.clone [abbrev, in mathcomp.boot.monoid]
UMagmaMorphism.copy [abbrev, in mathcomp.boot.monoid]
UMagmaMorphism.on [abbrev, in mathcomp.boot.monoid]
UMagmaMorphism.on_ [abbrev, in mathcomp.boot.monoid]
unify_itv [abbrev, in mathcomp.algebra.interval_inference]
UnitAlgebra_isFalgebra [abbrev, in mathcomp.field.falgebra]
UnitAlgebra_isFalgebra.axioms [abbrev, in mathcomp.field.falgebra]
UnitAlgebra_isFalgebra.Build [abbrev, in mathcomp.field.falgebra]
UnitRingQuotient [abbrev, in mathcomp.algebra.ring_quotient]
UnitRingQuotient.clone [abbrev, in mathcomp.algebra.ring_quotient]
UnitRingQuotient.copy [abbrev, in mathcomp.algebra.ring_quotient]
UnitRingQuotient.Exports.unitRingQuotType [abbrev, in mathcomp.algebra.ring_quotient]
UnitRingQuotient.on [abbrev, in mathcomp.algebra.ring_quotient]
UnitRingQuotient.on_ [abbrev, in mathcomp.algebra.ring_quotient]
UnityRootTheory.prim_expr_order [abbrev, in mathcomp.algebra.poly]
UnityRootTheory.prim_order_gt0 [abbrev, in mathcomp.algebra.poly]