M (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 |
M (Abbreviations)
m [abbrev, in mathcomp.algebra.vector]Magma [abbrev, in mathcomp.boot.monoid]
Magma.clone [abbrev, in mathcomp.boot.monoid]
Magma.copy [abbrev, in mathcomp.boot.monoid]
Magma.Exports.magmaType [abbrev, in mathcomp.boot.monoid]
Magma.on [abbrev, in mathcomp.boot.monoid]
Magma.on_ [abbrev, in mathcomp.boot.monoid]
Magma_isSemigroup [abbrev, in mathcomp.boot.monoid]
Magma_isSemigroup.axioms [abbrev, in mathcomp.boot.monoid]
Magma_isSemigroup.Build [abbrev, in mathcomp.boot.monoid]
Magma_isUMagma [abbrev, in mathcomp.boot.monoid]
Magma_isUMagma.axioms [abbrev, in mathcomp.boot.monoid]
Magma_isUMagma.Build [abbrev, in mathcomp.boot.monoid]
MathCompCompatEquality.Equality.axiom [abbrev, in mathcomp.boot.eqtype]
MathCompCompatEquality.Equality.axioms [abbrev, in mathcomp.boot.eqtype]
MathCompCompatEquality.Equality.class_of [abbrev, in mathcomp.boot.eqtype]
MathCompCompatEquality.Equality.mcpack [abbrev, in mathcomp.boot.eqtype]
MathCompCompatEquality.Equality.Mixin [abbrev, in mathcomp.boot.eqtype]
MathCompCompatEquality.Equality.mixin_of [abbrev, in mathcomp.boot.eqtype]
MathCompCompatSemiVector.SemiVector.axiom [abbrev, in mathcomp.algebra.vector]
MathCompCompatSemiVector.SemiVector.axioms [abbrev, in mathcomp.algebra.vector]
MathCompCompatSemiVector.SemiVector.class_of [abbrev, in mathcomp.algebra.vector]
MathCompCompatSemiVector.SemiVector.mcpack [abbrev, in mathcomp.algebra.vector]
MathCompCompatSemiVector.SemiVector.Mixin [abbrev, in mathcomp.algebra.vector]
MathCompCompatSemiVector.SemiVector.mixin_of [abbrev, in mathcomp.algebra.vector]
MathCompCompatSplittingField.SplittingField.axiom [abbrev, in mathcomp.field.galois]
MathCompCompatSplittingField.SplittingField.axioms [abbrev, in mathcomp.field.galois]
MathCompCompatSplittingField.SplittingField.class_of [abbrev, in mathcomp.field.galois]
MathCompCompatSplittingField.SplittingField.mcpack [abbrev, in mathcomp.field.galois]
MathCompCompatSplittingField.SplittingField.Mixin [abbrev, in mathcomp.field.galois]
MathCompCompatSplittingField.SplittingField.mixin_of [abbrev, in mathcomp.field.galois]
MathCompCompatVector.Vector.axiom [abbrev, in mathcomp.algebra.vector]
MathCompCompatVector.Vector.class_of [abbrev, in mathcomp.algebra.vector]
matrix_of_fun [abbrev, in mathcomp.algebra.matrix]
MatrixFormula.Add [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.And [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.Bool [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.eval [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.False [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.form [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.holds [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.morphAnd [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.qf_eval [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.qf_form [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.term [abbrev, in mathcomp.algebra.mxpoly]
MatrixFormula.True [abbrev, in mathcomp.algebra.mxpoly]
MatrixGenField.Ad [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.Ad [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.Bool [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.d [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.d [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.FA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.FA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.FA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.False [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.form [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.inFA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.irr [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.morphAnd [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.n [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.n [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.n [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.nA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.pA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.rGA [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.term [abbrev, in mathcomp.group_representation.mxrepresentation]
MatrixGenField.True [abbrev, in mathcomp.group_representation.mxrepresentation]
mG [abbrev, in mathcomp.group_representation.mxrepresentation]
mk [abbrev, in mathcomp.boot.bigop]
mk_mon [abbrev, in mathcomp.algebra.mxpoly]
Mmn [abbrev, in mathcomp.group_representation.mxabelem]
modG [abbrev, in mathcomp.group_representation.mxrepresentation]
Monoid [abbrev, in mathcomp.boot.monoid]
Monoid.add_law [abbrev, in mathcomp.boot.bigop]
Monoid.AddLaw [abbrev, in mathcomp.boot.bigop]
Monoid.AddLaw.clone [abbrev, in mathcomp.boot.bigop]
Monoid.AddLaw.copy [abbrev, in mathcomp.boot.bigop]
Monoid.AddLaw.on [abbrev, in mathcomp.boot.bigop]
Monoid.AddLaw.on_ [abbrev, in mathcomp.boot.bigop]
Monoid.Builders_15.op1m [abbrev, in mathcomp.boot.bigop]
Monoid.Builders_15.opA [abbrev, in mathcomp.boot.bigop]
Monoid.Builders_15.opC [abbrev, in mathcomp.boot.bigop]
Monoid.Builders_8.op1m [abbrev, in mathcomp.boot.bigop]
Monoid.Builders_8.opA [abbrev, in mathcomp.boot.bigop]
Monoid.Builders_8.opm1 [abbrev, in mathcomp.boot.bigop]
Monoid.clone [abbrev, in mathcomp.boot.monoid]
Monoid.com_law [abbrev, in mathcomp.boot.bigop]
Monoid.ComLaw [abbrev, in mathcomp.boot.bigop]
Monoid.ComLaw.clone [abbrev, in mathcomp.boot.bigop]
Monoid.ComLaw.copy [abbrev, in mathcomp.boot.bigop]
Monoid.ComLaw.on [abbrev, in mathcomp.boot.bigop]
Monoid.ComLaw.on_ [abbrev, in mathcomp.boot.bigop]
Monoid.copy [abbrev, in mathcomp.boot.monoid]
Monoid.Exports.monoidType [abbrev, in mathcomp.boot.monoid]
Monoid.isAddLaw [abbrev, in mathcomp.boot.bigop]
Monoid.isAddLaw.axioms [abbrev, in mathcomp.boot.bigop]
Monoid.isAddLaw.Build [abbrev, in mathcomp.boot.bigop]
Monoid.isComLaw [abbrev, in mathcomp.boot.bigop]
Monoid.isComLaw.axioms [abbrev, in mathcomp.boot.bigop]
Monoid.isComLaw.Build [abbrev, in mathcomp.boot.bigop]
Monoid.isLaw [abbrev, in mathcomp.boot.bigop]
Monoid.isLaw.axioms [abbrev, in mathcomp.boot.bigop]
Monoid.isLaw.Build [abbrev, in mathcomp.boot.bigop]
Monoid.isMonoidLaw [abbrev, in mathcomp.boot.bigop]
Monoid.isMonoidLaw.axioms [abbrev, in mathcomp.boot.bigop]
Monoid.isMonoidLaw.Build [abbrev, in mathcomp.boot.bigop]
Monoid.isMulLaw [abbrev, in mathcomp.boot.bigop]
Monoid.isMulLaw.axioms [abbrev, in mathcomp.boot.bigop]
Monoid.isMulLaw.Build [abbrev, in mathcomp.boot.bigop]
Monoid.law [abbrev, in mathcomp.boot.bigop]
Monoid.Law [abbrev, in mathcomp.boot.bigop]
Monoid.Law.clone [abbrev, in mathcomp.boot.bigop]
Monoid.Law.copy [abbrev, in mathcomp.boot.bigop]
Monoid.Law.on [abbrev, in mathcomp.boot.bigop]
Monoid.Law.on_ [abbrev, in mathcomp.boot.bigop]
Monoid.mul_law [abbrev, in mathcomp.boot.bigop]
Monoid.MulLaw [abbrev, in mathcomp.boot.bigop]
Monoid.MulLaw.clone [abbrev, in mathcomp.boot.bigop]
Monoid.MulLaw.copy [abbrev, in mathcomp.boot.bigop]
Monoid.MulLaw.on [abbrev, in mathcomp.boot.bigop]
Monoid.MulLaw.on_ [abbrev, in mathcomp.boot.bigop]
Monoid.on [abbrev, in mathcomp.boot.monoid]
Monoid.on_ [abbrev, in mathcomp.boot.monoid]
monoid_closed [abbrev, in mathcomp.boot.monoid]
Monoid_isGroup [abbrev, in mathcomp.boot.monoid]
Monoid_isGroup.axioms [abbrev, in mathcomp.boot.monoid]
Monoid_isGroup.Build [abbrev, in mathcomp.boot.monoid]
Monoid_isStarMonoid [abbrev, in mathcomp.boot.monoid]
Monoid_isStarMonoid.axioms [abbrev, in mathcomp.boot.monoid]
Monoid_isStarMonoid.Build [abbrev, in mathcomp.boot.monoid]
morphAnd [abbrev, in mathcomp.group_representation.mxrepresentation]
morPhantom [abbrev, in mathcomp.finite_group.morphism]
mpi [abbrev, in mathcomp.boot.generic_quotient]
mul1g [abbrev, in mathcomp.finite_group.fingroup]
MulClosed [abbrev, in mathcomp.boot.monoid]
MulClosed.clone [abbrev, in mathcomp.boot.monoid]
MulClosed.copy [abbrev, in mathcomp.boot.monoid]
MulClosed.Exports.mulgClosed [abbrev, in mathcomp.boot.monoid]
MulClosed.on [abbrev, in mathcomp.boot.monoid]
MulClosed.on_ [abbrev, in mathcomp.boot.monoid]
mulg [abbrev, in mathcomp.finite_group.fingroup]
mulg1 [abbrev, in mathcomp.finite_group.fingroup]
mulgA [abbrev, in mathcomp.finite_group.fingroup]
mulgI [abbrev, in mathcomp.finite_group.fingroup]
mulgK [abbrev, in mathcomp.finite_group.fingroup]
mulgKV [abbrev, in mathcomp.finite_group.fingroup]
mulgV [abbrev, in mathcomp.finite_group.fingroup]
mulKg [abbrev, in mathcomp.finite_group.fingroup]
mulKVg [abbrev, in mathcomp.finite_group.fingroup]
mulrzDl_tmp [abbrev, in mathcomp.algebra.ssrint]
mulrzDr_tmp [abbrev, in mathcomp.algebra.ssrint]
Multiplicative [abbrev, in mathcomp.boot.monoid]
Multiplicative.clone [abbrev, in mathcomp.boot.monoid]
Multiplicative.copy [abbrev, in mathcomp.boot.monoid]
Multiplicative.on [abbrev, in mathcomp.boot.monoid]
Multiplicative.on_ [abbrev, in mathcomp.boot.monoid]
Multiplicative_isUMagmaMorphism [abbrev, in mathcomp.boot.monoid]
Multiplicative_isUMagmaMorphism.axioms [abbrev, in mathcomp.boot.monoid]
Multiplicative_isUMagmaMorphism.Build [abbrev, in mathcomp.boot.monoid]
mulVg [abbrev, in mathcomp.finite_group.fingroup]
mx_Maschke [abbrev, in mathcomp.group_representation.mxrepresentation]
mx_series [abbrev, in mathcomp.group_representation.mxrepresentation]
mxdirect [abbrev, in mathcomp.algebra.mxalgebra]
mxdirect [abbrev, in mathcomp.algebra.mxalgebra]
mxf [abbrev, in mathcomp.algebra.mxalgebra]
mxrank [abbrev, in mathcomp.algebra.mxalgebra]
mxrank [abbrev, in mathcomp.algebra.mxalgebra]
mxtrace_regular [abbrev, in mathcomp.group_representation.mxrepresentation]