D (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 |
D (Abbreviations)
d [abbrev, in mathcomp.algebra.mxpoly]d_cons [abbrev, in mathcomp.algebra.tensor]
dc [abbrev, in mathcomp.boot.choice]
defHgX [abbrev, in mathcomp.solvable.finmodule]
derivable_Noy_continuous_within_itvNyc [abbrev, in mathcomp.analysis.realfun]
derivable_Nyo_continuous_bnd [abbrev, in mathcomp.analysis.realfun]
derivable_oo_continuous_bnd [abbrev, in mathcomp.analysis.realfun]
derivable_oo_continuous_bnd_onemXnMr [abbrev, in mathcomp.analysis.probability_theory.beta_distribution]
derivable_oo_continuous_bnd_within [abbrev, in mathcomp.analysis.realfun]
derivable_oy_continuous_bnd [abbrev, in mathcomp.analysis.realfun]
derivable_oy_continuous_within_itvcy [abbrev, in mathcomp.analysis.realfun]
derivemxE [abbrev, in mathcomp.analysis.derive]
dffun_aT [abbrev, in mathcomp.boot.finfun]
diagonalizable [abbrev, in mathcomp.algebra.mxred]
diagonalizable [abbrev, in mathcomp.algebra.mxpoly]
diagonalizable_for [abbrev, in mathcomp.algebra.mxpoly]
diagonalizable_in [abbrev, in mathcomp.algebra.mxred]
diagonalizable_in [abbrev, in mathcomp.algebra.mxpoly]
differentiable [abbrev, in mathcomp.analysis.derive]
differentiable [abbrev, in mathcomp.analysis.derive]
differentiable [abbrev, in mathcomp.analysis.derive]
diffmx [abbrev, in mathcomp.algebra.mxalgebra]
directv [abbrev, in mathcomp.algebra.vector]
directv [abbrev, in mathcomp.algebra.vector]
Discrete_ofNbhs [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofNbhs.axioms [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofNbhs.Build [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofPseudometric [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofPseudometric.axioms [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofPseudometric.Build [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofUniform [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofUniform.axioms [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
Discrete_ofUniform.Build [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
discreteMeasurableFun [abbrev, in mathcomp.analysis.probability_theory.random_variable]
discreteMeasurableFun.clone [abbrev, in mathcomp.analysis.probability_theory.random_variable]
discreteMeasurableFun.copy [abbrev, in mathcomp.analysis.probability_theory.random_variable]
discreteMeasurableFun.on [abbrev, in mathcomp.analysis.probability_theory.random_variable]
discreteMeasurableFun.on_ [abbrev, in mathcomp.analysis.probability_theory.random_variable]
DiscreteNbhs [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteNbhs.clone [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteNbhs.copy [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteNbhs.Exports.discreteNbhsType [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteNbhs.on [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteNbhs.on_ [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteOrderTopology [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteOrderTopology.clone [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteOrderTopology.copy [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteOrderTopology.Exports.discreteOrderTopologicalType [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteOrderTopology.on [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteOrderTopology.on_ [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric.clone [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric.copy [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric.Exports.discretePseudoMetricType [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric.on [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric.on_ [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric_ofUniform [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric_ofUniform.axioms [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscretePseudoMetric_ofUniform.Build [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteTopology [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteTopology.clone [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteTopology.copy [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteTopology.Exports.discreteTopologicalType [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteTopology.on [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteTopology.on_ [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform.clone [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform.copy [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform.Exports.discreteUniformType [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform.on [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform.on_ [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform_ofNbhs [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform_ofNbhs.axioms [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
DiscreteUniform_ofNbhs.Build [abbrev, in mathcomp.analysis.topology_theory.discrete_topology]
dom [abbrev, in mathcomp.finite_group.action]
dominates_charge_variation [abbrev, in mathcomp.analysis.charge]
Dot [abbrev, in mathcomp.algebra.sesquilinear]
Dot.clone [abbrev, in mathcomp.algebra.sesquilinear]
Dot.copy [abbrev, in mathcomp.algebra.sesquilinear]
Dot.on [abbrev, in mathcomp.algebra.sesquilinear]
Dot.on_ [abbrev, in mathcomp.algebra.sesquilinear]
dotmx_def [abbrev, in mathcomp.algebra.spectral]
dprod [abbrev, in mathcomp.finite_group.gproduct]
dprod [abbrev, in mathcomp.finite_group.gproduct]
dual_extended_nmodType [abbrev, in mathcomp.reals.constructive_ereal]
dvdz_charf [abbrev, in mathcomp.algebra.intdiv]