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]