C (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 |
C (Abbreviations)
C [abbrev, in mathcomp.solvable.center]c [abbrev, in mathcomp.group_representation.character]
capmx [abbrev, in mathcomp.algebra.mxalgebra]
capV [abbrev, in mathcomp.algebra.vector]
card [abbrev, in mathcomp.boot.fintype]
card_finCharP [abbrev, in mathcomp.field.finfield]
card_finRing_gt1 [abbrev, in mathcomp.algebra.finalg]
card_irr [abbrev, in mathcomp.group_representation.mxrepresentation]
card_primeChar [abbrev, in mathcomp.field.finfield]
cbvrefl [abbrev, in mathcomp.boot.ssrAC]
Cchar [abbrev, in mathcomp.field.algC]
cfConjC_closed [abbrev, in mathcomp.group_representation.classfun]
cfDet [abbrev, in mathcomp.group_representation.character]
cfDet [abbrev, in mathcomp.group_representation.character]
cfun_ringType [abbrev, in mathcomp.group_representation.classfun]
CH [abbrev, in mathcomp.solvable.center]
char0_PET [abbrev, in mathcomp.field.separable]
char_Fp [abbrev, in mathcomp.algebra.zmodp]
char_Fp_0 [abbrev, in mathcomp.algebra.zmodp]
char_poly [abbrev, in mathcomp.algebra.poly]
char_prim_root [abbrev, in mathcomp.algebra.poly]
char_qpoly [abbrev, in mathcomp.algebra.qpoly]
char_Zp [abbrev, in mathcomp.algebra.zmodp]
charf0_separable [abbrev, in mathcomp.field.separable]
charf_n_separable [abbrev, in mathcomp.field.separable]
charf_p_separable [abbrev, in mathcomp.field.separable]
Choice [abbrev, in mathcomp.boot.choice]
Choice.clone [abbrev, in mathcomp.boot.choice]
Choice.copy [abbrev, in mathcomp.boot.choice]
Choice.Exports.choiceType [abbrev, in mathcomp.boot.choice]
Choice.on [abbrev, in mathcomp.boot.choice]
Choice.on_ [abbrev, in mathcomp.boot.choice]
Choice_isCountable [abbrev, in mathcomp.boot.choice]
Choice_isCountable.axioms [abbrev, in mathcomp.boot.choice]
Choice_isCountable.Build [abbrev, in mathcomp.boot.choice]
ChoiceBaseUMagma [abbrev, in mathcomp.boot.monoid]
ChoiceBaseUMagma.clone [abbrev, in mathcomp.boot.monoid]
ChoiceBaseUMagma.copy [abbrev, in mathcomp.boot.monoid]
ChoiceBaseUMagma.on [abbrev, in mathcomp.boot.monoid]
ChoiceBaseUMagma.on_ [abbrev, in mathcomp.boot.monoid]
ChoiceMagma [abbrev, in mathcomp.boot.monoid]
ChoiceMagma.clone [abbrev, in mathcomp.boot.monoid]
ChoiceMagma.copy [abbrev, in mathcomp.boot.monoid]
ChoiceMagma.on [abbrev, in mathcomp.boot.monoid]
ChoiceMagma.on_ [abbrev, in mathcomp.boot.monoid]
ChoiceNamespace.Choice.InternalTheory.complete [abbrev, in mathcomp.boot.choice]
ChoiceNamespace.Choice.InternalTheory.correct [abbrev, in mathcomp.boot.choice]
ChoiceNamespace.Choice.InternalTheory.extensional [abbrev, in mathcomp.boot.choice]
ChoiceNamespace.Choice.InternalTheory.find [abbrev, in mathcomp.boot.choice]
CK [abbrev, in mathcomp.solvable.center]
closed [abbrev, in mathcomp.boot.fingraph]
ClosedFieldQE.abstrX_bigmul [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.bigmap_id [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.cps [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.eval [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.eval_bigmul [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.fF [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.qf [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.qf_eval [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.rterm [abbrev, in mathcomp.field.closed_field]
ClosedFieldQE.tF [abbrev, in mathcomp.field.closed_field]
closure [abbrev, in mathcomp.boot.fingraph]
codiagonalizable [abbrev, in mathcomp.algebra.mxred]
codiagonalizable [abbrev, in mathcomp.algebra.mxpoly]
codiagonalizable_in [abbrev, in mathcomp.algebra.mxred]
codiagonalizable_in [abbrev, in mathcomp.algebra.mxpoly]
coerced_frel [abbrev, in mathcomp.boot.eqtype]
col_cubes [abbrev, in mathcomp.solvable.burnside_app]
col_squares [abbrev, in mathcomp.solvable.burnside_app]
colsub [abbrev, in mathcomp.algebra.matrix]
colsub [abbrev, in mathcomp.algebra.matrix]
colsub [abbrev, in mathcomp.algebra.matrix]
comAlgType [abbrev, in mathcomp.algebra.algebraic_hierarchy.ssralg]
comm1g [abbrev, in mathcomp.finite_group.fingroup]
commg [abbrev, in mathcomp.finite_group.fingroup]
commg1 [abbrev, in mathcomp.finite_group.fingroup]
commg1_sym [abbrev, in mathcomp.finite_group.fingroup]
commgC [abbrev, in mathcomp.finite_group.fingroup]
commgCV [abbrev, in mathcomp.finite_group.fingroup]
commgEl [abbrev, in mathcomp.finite_group.fingroup]
commgEr [abbrev, in mathcomp.finite_group.fingroup]
commgg [abbrev, in mathcomp.finite_group.fingroup]
commgP [abbrev, in mathcomp.finite_group.fingroup]
commgVg [abbrev, in mathcomp.finite_group.fingroup]
commgXg [abbrev, in mathcomp.finite_group.fingroup]
commgXVg [abbrev, in mathcomp.finite_group.fingroup]
commute [abbrev, in mathcomp.finite_group.fingroup]
commute1 [abbrev, in mathcomp.finite_group.fingroup]
commute_refl [abbrev, in mathcomp.finite_group.fingroup]
commute_sym [abbrev, in mathcomp.finite_group.fingroup]
commuteM [abbrev, in mathcomp.finite_group.fingroup]
commuteV [abbrev, in mathcomp.finite_group.fingroup]
commuteX [abbrev, in mathcomp.finite_group.fingroup]
commuteX2 [abbrev, in mathcomp.finite_group.fingroup]
compo [abbrev, in mathcomp.solvable.jordanholder]
compU [abbrev, in mathcomp.group_representation.mxrepresentation]
comRingType [abbrev, in mathcomp.algebra.algebraic_hierarchy.ssralg]
comSemiAlgType [abbrev, in mathcomp.algebra.algebraic_hierarchy.ssralg]
comSemiRingType [abbrev, in mathcomp.algebra.algebraic_hierarchy.ssralg]
conj1g [abbrev, in mathcomp.finite_group.fingroup]
conjg [abbrev, in mathcomp.finite_group.fingroup]
conjg1 [abbrev, in mathcomp.finite_group.fingroup]
conjg_eq1 [abbrev, in mathcomp.finite_group.fingroup]
conjg_fixP [abbrev, in mathcomp.finite_group.fingroup]
conjg_inj [abbrev, in mathcomp.finite_group.fingroup]
conjg_prod [abbrev, in mathcomp.finite_group.fingroup]
conjgC [abbrev, in mathcomp.finite_group.fingroup]
conjgCV [abbrev, in mathcomp.finite_group.fingroup]
conjgE [abbrev, in mathcomp.finite_group.fingroup]
conjgK [abbrev, in mathcomp.finite_group.fingroup]
conjgKV [abbrev, in mathcomp.finite_group.fingroup]
conjgM [abbrev, in mathcomp.finite_group.fingroup]
conjJg [abbrev, in mathcomp.finite_group.fingroup]
conjMg [abbrev, in mathcomp.finite_group.fingroup]
conjRg [abbrev, in mathcomp.finite_group.fingroup]
conjVg [abbrev, in mathcomp.finite_group.fingroup]
conjXg [abbrev, in mathcomp.finite_group.fingroup]
Cons [abbrev, in mathcomp.boot.seq]
cons_perms [abbrev, in mathcomp.boot.seq]
ConsPred [abbrev, in mathcomp.solvable.pgroup]
cotrigonalizable [abbrev, in mathcomp.algebra.mxred]
cotrigonalizable_in [abbrev, in mathcomp.algebra.mxred]
count_mem [abbrev, in mathcomp.boot.seq]
Countable [abbrev, in mathcomp.boot.choice]
Countable.clone [abbrev, in mathcomp.boot.choice]
Countable.copy [abbrev, in mathcomp.boot.choice]
Countable.Exports.countType [abbrev, in mathcomp.boot.choice]
Countable.on [abbrev, in mathcomp.boot.choice]
Countable.on_ [abbrev, in mathcomp.boot.choice]
countComRingType [abbrev, in mathcomp.algebra.countalg]
countComSemiRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.ClosedField [abbrev, in mathcomp.algebra.countalg]
CountRing.ClosedField.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.ClosedField.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ClosedField.Exports.countClosedFieldType [abbrev, in mathcomp.algebra.countalg]
CountRing.ClosedField.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ClosedField.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzRing.Exports.countComNzRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzSemiRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzSemiRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzSemiRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzSemiRing.Exports.countComNzSemiRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzSemiRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComNzSemiRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzRing.Exports.countComPzRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzSemiRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzSemiRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzSemiRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzSemiRing.Exports.countComPzSemiRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzSemiRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComPzSemiRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.ComRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComRing.sort [abbrev, in mathcomp.algebra.countalg]
CountRing.ComSemiRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComSemiRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComSemiRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComSemiRing.sort [abbrev, in mathcomp.algebra.countalg]
CountRing.ComUnitRing [abbrev, in mathcomp.algebra.countalg]
CountRing.ComUnitRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.ComUnitRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.ComUnitRing.Exports.countComUnitRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.ComUnitRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.ComUnitRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.DecidableField [abbrev, in mathcomp.algebra.countalg]
CountRing.DecidableField.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.DecidableField.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.DecidableField.Exports.countDecFieldType [abbrev, in mathcomp.algebra.countalg]
CountRing.DecidableField.on [abbrev, in mathcomp.algebra.countalg]
CountRing.DecidableField.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.Field [abbrev, in mathcomp.algebra.countalg]
CountRing.Field.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.Field.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.Field.Exports.countFieldType [abbrev, in mathcomp.algebra.countalg]
CountRing.Field.on [abbrev, in mathcomp.algebra.countalg]
CountRing.Field.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.IntegralDomain [abbrev, in mathcomp.algebra.countalg]
CountRing.IntegralDomain.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.IntegralDomain.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.IntegralDomain.Exports.countIdomainType [abbrev, in mathcomp.algebra.countalg]
CountRing.IntegralDomain.on [abbrev, in mathcomp.algebra.countalg]
CountRing.IntegralDomain.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.Nmodule [abbrev, in mathcomp.algebra.countalg]
CountRing.Nmodule.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.Nmodule.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.Nmodule.Exports.countNmodType [abbrev, in mathcomp.algebra.countalg]
CountRing.Nmodule.on [abbrev, in mathcomp.algebra.countalg]
CountRing.Nmodule.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.NzRing [abbrev, in mathcomp.algebra.countalg]
CountRing.NzRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.NzRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.NzRing.Exports.countNzRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.NzRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.NzRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.NzSemiRing [abbrev, in mathcomp.algebra.countalg]
CountRing.NzSemiRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.NzSemiRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.NzSemiRing.Exports.countNzSemiRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.NzSemiRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.NzSemiRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.PzRing [abbrev, in mathcomp.algebra.countalg]
CountRing.PzRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.PzRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.PzRing.Exports.countPzRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.PzRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.PzRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.PzSemiRing [abbrev, in mathcomp.algebra.countalg]
CountRing.PzSemiRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.PzSemiRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.PzSemiRing.Exports.countPzSemiRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.PzSemiRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.PzSemiRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.Ring [abbrev, in mathcomp.algebra.countalg]
CountRing.Ring.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.Ring.on [abbrev, in mathcomp.algebra.countalg]
CountRing.Ring.sort [abbrev, in mathcomp.algebra.countalg]
CountRing.SemiRing [abbrev, in mathcomp.algebra.countalg]
CountRing.SemiRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.SemiRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.SemiRing.sort [abbrev, in mathcomp.algebra.countalg]
CountRing.UnitRing [abbrev, in mathcomp.algebra.countalg]
CountRing.UnitRing.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.UnitRing.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.UnitRing.Exports.countUnitRingType [abbrev, in mathcomp.algebra.countalg]
CountRing.UnitRing.on [abbrev, in mathcomp.algebra.countalg]
CountRing.UnitRing.on_ [abbrev, in mathcomp.algebra.countalg]
CountRing.Zmodule [abbrev, in mathcomp.algebra.countalg]
CountRing.Zmodule.clone [abbrev, in mathcomp.algebra.countalg]
CountRing.Zmodule.copy [abbrev, in mathcomp.algebra.countalg]
CountRing.Zmodule.Exports.countZmodType [abbrev, in mathcomp.algebra.countalg]
CountRing.Zmodule.on [abbrev, in mathcomp.algebra.countalg]
CountRing.Zmodule.on_ [abbrev, in mathcomp.algebra.countalg]
countRingType [abbrev, in mathcomp.algebra.countalg]
countSemiRingType [abbrev, in mathcomp.algebra.countalg]
cprod [abbrev, in mathcomp.finite_group.gproduct]
cprod [abbrev, in mathcomp.finite_group.gproduct]
CtoQ [abbrev, in mathcomp.field.algC]
cycle_repr_structure [abbrev, in mathcomp.group_representation.mxrepresentation]