From 6b59540a2460633df4e3d8347cb4dfe2fb3a3afb Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Wed, 16 Oct 2019 11:26:43 +0200 Subject: removing everything but index which redirects to the new page --- docs/htmldoc/index_section_P.html | 1029 ------------------------------------- 1 file changed, 1029 deletions(-) delete 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 deleted file mode 100644 index ebd8783..0000000 --- a/docs/htmldoc/index_section_P.html +++ /dev/null @@ -1,1029 +0,0 @@ - - - - - -mathcomp.test_suite.hierarchy_test - - - - -
- - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Global IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 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]
-Permutations [in mathcomp.ssreflect.seq]
-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]
-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(23836 entries)
Notation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1409 entries)
Module IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(221 entries)
Variable IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3574 entries)
Library IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(90 entries)
Lemma IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(12096 entries)
Constructor IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(368 entries)
Axiom IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(45 entries)
Inductive IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(107 entries)
Projection IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(273 entries)
Section IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(1140 entries)
Abbreviation IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(728 entries)
Definition IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(3596 entries)
Record IndexABCDEFGHIJKLMNOPQRSTUVWXYZ_other(189 entries)
-
- - - -
- - - \ No newline at end of file -- cgit v1.2.3