R (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 |
R (Abbreviations)
R [abbrev, in mathcomp.field.finfield]R [abbrev, in mathcomp.field.finfield]
r_gt0 [abbrev, in mathcomp.analysis.normedtype_theory.vitali_lemma]
radmx [abbrev, in mathcomp.algebra.sesquilinear]
radv [abbrev, in mathcomp.algebra.sesquilinear]
range [abbrev, in mathcomp.finite_group.action]
range [abbrev, in mathcomp.classical.classical_sets]
Real [abbrev, in mathcomp.reals.reals]
Real.clone [abbrev, in mathcomp.reals.reals]
Real.copy [abbrev, in mathcomp.reals.reals]
Real.Exports.realType [abbrev, in mathcomp.reals.reals]
Real.on [abbrev, in mathcomp.reals.reals]
Real.on_ [abbrev, in mathcomp.reals.reals]
realmx [abbrev, in mathcomp.algebra.spectral]
refBaseField [abbrev, in mathcomp.field.fieldext]
reindex_inside [abbrev, in mathcomp.classical.fsbigop]
reindex_inside_setT [abbrev, in mathcomp.classical.fsbigop]
reindex_perm [abbrev, in mathcomp.finite_group.perm]
rel_adjunction [abbrev, in mathcomp.boot.fingraph]
rel_adjunction [abbrev, in mathcomp.boot.fingraph]
repr [abbrev, in mathcomp.boot.generic_quotient]
restr [abbrev, in mathcomp.analysis.measure_theory.measure_function]
restr [abbrev, in mathcomp.analysis.measure_theory.measure_function]
restr [abbrev, in mathcomp.analysis.measure_theory.measure_function]
restr [abbrev, in mathcomp.analysis.charge]
restr [abbrev, in mathcomp.analysis.charge]
restrict [abbrev, in mathcomp.classical.functions]
restrict [abbrev, in mathcomp.classical.functions]
restrictmx [abbrev, in mathcomp.algebra.mxred]
restrictmx [abbrev, in mathcomp.algebra.mxred]
restrictmx [abbrev, in mathcomp.algebra.mxpoly]
restrictmx [abbrev, in mathcomp.algebra.mxpoly]
right_continuous [abbrev, in mathcomp.analysis.lebesgue_stieltjes_measure]
RingOfSets [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets.clone [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets.copy [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets.Exports.ringOfSetsType [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets.on [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets.on_ [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets_isAlgebraOfSets [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets_isAlgebraOfSets.axioms [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
RingOfSets_isAlgebraOfSets.Build [abbrev, in mathcomp.analysis.measure_theory.measurable_structure]
ringQuotType [abbrev, in mathcomp.algebra.ring_quotient]
ringType [abbrev, in mathcomp.algebra.algebraic_hierarchy.ssralg]
Rintegral_setU_EFin [abbrev, in mathcomp.analysis.lebesgue_integral_theory.lebesgue_Rintegral]
rl [abbrev, in mathcomp.classical.functions]
Rmu [abbrev, in mathcomp.analysis.measure_theory.measure_function]
Rmu [abbrev, in mathcomp.analysis.measure_theory.measure_function]
rowsub [abbrev, in mathcomp.algebra.matrix]
rowsub [abbrev, in mathcomp.algebra.matrix]
rowsub [abbrev, in mathcomp.algebra.matrix]
rr [abbrev, in mathcomp.classical.functions]
rT [abbrev, in mathcomp.analysis.measure_theory.measure_extension]
rT [abbrev, in mathcomp.analysis.measure_theory.measure_extension]