From ed05182cece6bb3706e09b2ce14af4a41a2e8141 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 20 Apr 2018 10:54:22 +0200 Subject: generate the documentation for 1.7 --- docs/htmldoc/index_section_P.html | 1029 +++++++++++++++++++++++++++++++++++++ 1 file changed, 1029 insertions(+) create mode 100644 docs/htmldoc/index_section_P.html (limited to 'docs/htmldoc/index_section_P.html') diff --git a/docs/htmldoc/index_section_P.html b/docs/htmldoc/index_section_P.html new file mode 100644 index 0000000..a57ebbc --- /dev/null +++ b/docs/htmldoc/index_section_P.html @@ -0,0 +1,1029 @@ + + + + + +mathcomp.ssreflect.tuple + + + + +
+ + + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+

P (section)

+PairAlg [in mathcomp.algebra.ssralg]
+PairComRing [in mathcomp.algebra.ssralg]
+PairLalg [in mathcomp.algebra.ssralg]
+PairLmod [in mathcomp.algebra.ssralg]
+PairRing [in mathcomp.algebra.ssralg]
+PairUnitRing [in mathcomp.algebra.ssralg]
+PairZmod [in mathcomp.algebra.ssralg]
+PartialAction [in mathcomp.fingroup.action]
+PartialAction.OrbitStabilizer [in mathcomp.fingroup.action]
+PartialFunctorTheory [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.BasicTheory [in mathcomp.solvable.gfunctor]
+PartialFunctorTheory.Modulo [in mathcomp.solvable.gfunctor]
+Partitions [in mathcomp.ssreflect.finset]
+Partitions.BigOps [in mathcomp.ssreflect.finset]
+Partitions.Equivalence [in mathcomp.ssreflect.finset]
+Partitions.Preim [in mathcomp.ssreflect.finset]
+Partitions.Transversals [in mathcomp.ssreflect.finset]
+Paths [in mathcomp.ssreflect.path]
+Paths.Path [in mathcomp.ssreflect.path]
+PcoreDef [in mathcomp.solvable.pgroup]
+PCoreProps [in mathcomp.solvable.pgroup]
+Pdiv.ClosedField.closed [in mathcomp.algebra.polydiv]
+Pdiv.CommonIdomain.IDomainPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.CommonRing.RingPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.ComRing.CommutativeRingPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldMap [in mathcomp.algebra.polydiv]
+Pdiv.Field.FieldDivision.FieldRingMap [in mathcomp.algebra.polydiv]
+Pdiv.IdomainDefs.IDomainPseudoDivisionDefs [in mathcomp.algebra.polydiv]
+Pdiv.IdomainMonic.MonicDivisor [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.MoreUnitDivisor [in mathcomp.algebra.polydiv]
+Pdiv.IdomainUnit.UnitDivisor [in mathcomp.algebra.polydiv]
+Pdiv.RingComRreg.ComRegDivisor [in mathcomp.algebra.polydiv]
+Pdiv.RingMonic.MonicDivisor [in mathcomp.algebra.polydiv]
+Pdiv.Ring.ExtraMonicDivisor [in mathcomp.algebra.polydiv]
+Pdiv.UnitRing.UnitRingPseudoDivision [in mathcomp.algebra.polydiv]
+Pdiv.WeakIdomain.WeakTheoryForIDomainPseudoDivision [in mathcomp.algebra.polydiv]
+PermAction [in mathcomp.fingroup.action]
+PermDefSection [in mathcomp.fingroup.perm]
+PermIn [in mathcomp.fingroup.automorphism]
+PermSeq [in mathcomp.ssreflect.seq]
+PermutationParity [in mathcomp.fingroup.perm]
+PervasiveMonoids [in mathcomp.ssreflect.bigop]
+Pextraspecial.Construction [in mathcomp.solvable.extraspecial]
+PgroupDefs [in mathcomp.solvable.pgroup]
+PgroupProps [in mathcomp.solvable.pgroup]
+PiAdditive [in mathcomp.algebra.ring_quotient]
+PiRMorphism [in mathcomp.algebra.ring_quotient]
+PlainTheory [in mathcomp.ssreflect.finfun]
+Pmap [in mathcomp.ssreflect.seq]
+PmapSub [in mathcomp.ssreflect.seq]
+PMax [in mathcomp.solvable.maximal]
+PnatTheory [in mathcomp.ssreflect.prime]
+PolyCompose [in mathcomp.algebra.poly]
+Polynomial [in mathcomp.algebra.poly]
+PolynomialComRing [in mathcomp.algebra.poly]
+PolynomialIdomain [in mathcomp.algebra.poly]
+PolynomialTheory [in mathcomp.algebra.poly]
+PolynomialTheory.OnePrimitive [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverAdd [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverRing [in mathcomp.algebra.poly]
+PolynomialTheory.PolyOverSemiring [in mathcomp.algebra.poly]
+PolyXY_Field [in mathcomp.algebra.polyXY]
+PolyXY_Idomain [in mathcomp.algebra.polyXY]
+PolyXY_ComRing [in mathcomp.algebra.polyXY]
+PolyXY_Ring [in mathcomp.algebra.polyXY]
+PolyZintOIdom [in mathcomp.algebra.ssrint]
+PolyZintRing [in mathcomp.algebra.ssrint]
+Pquotient [in mathcomp.solvable.pgroup]
+PreClosedField.UseAxiom [in mathcomp.algebra.poly]
+Predicates [in mathcomp.character.classfun]
+PreGroupIdentities [in mathcomp.fingroup.fingroup]
+PresentationTheory [in mathcomp.fingroup.presentation]
+Presentation.Presentation [in mathcomp.fingroup.presentation]
+PrimeChar [in mathcomp.field.finfield]
+PrimeChar.FinField [in mathcomp.field.finfield]
+PrimeChar.FinRing [in mathcomp.field.finfield]
+PrimeChar.PrimeCharRing [in mathcomp.field.finfield]
+PrimeField [in mathcomp.algebra.zmodp]
+PrimeField.F_prime [in mathcomp.algebra.zmodp]
+prime_decomp [in mathcomp.ssreflect.prime]
+Primitive [in mathcomp.solvable.primitive_action]
+PrimitiveDef [in mathcomp.solvable.primitive_action]
+PrimitiveRoots [in mathcomp.solvable.cyclic]
+ProdEqType [in mathcomp.ssreflect.eqtype]
+ProdFinType [in mathcomp.ssreflect.fintype]
+ProdMorph [in mathcomp.fingroup.gproduct]
+ProdMorph.Cprodm [in mathcomp.fingroup.gproduct]
+ProdMorph.defs [in mathcomp.fingroup.gproduct]
+ProdMorph.Dprodm [in mathcomp.fingroup.gproduct]
+ProdMorph.Props [in mathcomp.fingroup.gproduct]
+ProdMorph.Sdprodm [in mathcomp.fingroup.gproduct]
+Product [in mathcomp.character.classfun]
+Product [in mathcomp.solvable.center]
+ProdVector [in mathcomp.algebra.vector]
+Projection [in mathcomp.algebra.vector]
+Projection.Sumv_Pi [in mathcomp.algebra.vector]
+Proper [in mathcomp.field.falgebra]
+PropertiesDefs [in mathcomp.solvable.nilpotent]
+PseriesDefs [in mathcomp.solvable.pgroup]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23233 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1373 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(213 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3475 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(89 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(11853 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(359 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(47 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(103 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(266 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1118 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(691 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3461 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(185 entries)
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3