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_global_K.html | 1036 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 1036 insertions(+) create mode 100644 docs/htmldoc/index_global_K.html (limited to 'docs/htmldoc/index_global_K.html') diff --git a/docs/htmldoc/index_global_K.html b/docs/htmldoc/index_global_K.html new file mode 100644 index 0000000..c5e54e8 --- /dev/null +++ b/docs/htmldoc/index_global_K.html @@ -0,0 +1,1036 @@ + + + + + +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)
+

K

+kAHomP [lemma, in mathcomp.field.galois]
+kAut [definition, in mathcomp.field.galois]
+kAutE [lemma, in mathcomp.field.galois]
+kAutfE [lemma, in mathcomp.field.galois]
+kAutf_lker0 [lemma, in mathcomp.field.galois]
+kAutS [lemma, in mathcomp.field.galois]
+kAut_to_gal [lemma, in mathcomp.field.galois]
+kAut_eq [lemma, in mathcomp.field.galois]
+kAut1E [lemma, in mathcomp.field.galois]
+ker [definition, in mathcomp.fingroup.morphism]
+kercoset_rcoset [lemma, in mathcomp.fingroup.quotient]
+kerE [lemma, in mathcomp.fingroup.morphism]
+kermx [definition, in mathcomp.algebra.mxalgebra]
+kermx_centg_module [lemma, in mathcomp.character.mxrepresentation]
+kermx_hom_module [lemma, in mathcomp.character.mxrepresentation]
+kermx_eq0 [lemma, in mathcomp.algebra.mxalgebra]
+Kernel [section, in mathcomp.character.character]
+Kernel.G [variable, in mathcomp.character.character]
+Kernel.gT [variable, in mathcomp.character.character]
+Kernel.KerLin [section, in mathcomp.character.character]
+Kernel.KerLin.lin_xi [variable, in mathcomp.character.character]
+Kernel.KerLin.Nxi [variable, in mathcomp.character.character]
+Kernel.KerLin.xi [variable, in mathcomp.character.character]
+kerP [lemma, in mathcomp.fingroup.morphism]
+ker_quotm [lemma, in mathcomp.fingroup.quotient]
+ker_coset [lemma, in mathcomp.fingroup.quotient]
+ker_coset_prim [lemma, in mathcomp.fingroup.quotient]
+ker_irr_comp_op [lemma, in mathcomp.character.mxrepresentation]
+ker_dprodm [lemma, in mathcomp.fingroup.gproduct]
+ker_cprodm [lemma, in mathcomp.fingroup.gproduct]
+ker_sdprodm [lemma, in mathcomp.fingroup.gproduct]
+ker_pprodm [lemma, in mathcomp.fingroup.gproduct]
+ker_conj_aut [lemma, in mathcomp.fingroup.automorphism]
+ker_autm [lemma, in mathcomp.fingroup.automorphism]
+ker_restr_perm [lemma, in mathcomp.fingroup.action]
+ker_actperm [lemma, in mathcomp.fingroup.action]
+ker_reprGLm [lemma, in mathcomp.character.mxabelem]
+ker_subg [lemma, in mathcomp.fingroup.morphism]
+ker_sgval [lemma, in mathcomp.fingroup.morphism]
+ker_ifactm [lemma, in mathcomp.fingroup.morphism]
+ker_invm [lemma, in mathcomp.fingroup.morphism]
+ker_factm_loc [lemma, in mathcomp.fingroup.morphism]
+ker_factm [lemma, in mathcomp.fingroup.morphism]
+ker_comp [lemma, in mathcomp.fingroup.morphism]
+ker_trivm [lemma, in mathcomp.fingroup.morphism]
+ker_restrm [lemma, in mathcomp.fingroup.morphism]
+ker_idm [lemma, in mathcomp.fingroup.morphism]
+ker_injm [lemma, in mathcomp.fingroup.morphism]
+ker_trivg_morphim [lemma, in mathcomp.fingroup.morphism]
+ker_normal_pre [lemma, in mathcomp.fingroup.morphism]
+ker_sub_pre [lemma, in mathcomp.fingroup.morphism]
+ker_normal [lemma, in mathcomp.fingroup.morphism]
+ker_norm [lemma, in mathcomp.fingroup.morphism]
+ker_rcoset [lemma, in mathcomp.fingroup.morphism]
+ker_in_cprod [lemma, in mathcomp.solvable.center]
+ker_cprod_by_central [lemma, in mathcomp.solvable.center]
+ker_cprod_by_is_group [lemma, in mathcomp.solvable.center]
+ker_cprod_by [definition, in mathcomp.solvable.center]
+ker_sub_ahom_is_aspace [lemma, in mathcomp.field.falgebra]
+ker_eltm [lemma, in mathcomp.solvable.cyclic]
+kHom [definition, in mathcomp.field.galois]
+kHom [section, in mathcomp.field.galois]
+kHomExtend [definition, in mathcomp.field.galois]
+kHomExtendE [lemma, in mathcomp.field.galois]
+kHomExtendP [lemma, in mathcomp.field.galois]
+kHomExtend_poly [lemma, in mathcomp.field.galois]
+kHomExtend_val [lemma, in mathcomp.field.galois]
+kHomExtend_id [lemma, in mathcomp.field.galois]
+kHomExtend_subproof [lemma, in mathcomp.field.galois]
+kHomP [lemma, in mathcomp.field.galois]
+kHomS [lemma, in mathcomp.field.galois]
+kHomSl [lemma, in mathcomp.field.galois]
+kHomSr [lemma, in mathcomp.field.galois]
+kHom_to_gal [lemma, in mathcomp.field.galois]
+kHom_to_AEnd [lemma, in mathcomp.field.galois]
+kHom_extends [lemma, in mathcomp.field.galois]
+kHom_kAut_sub [lemma, in mathcomp.field.galois]
+kHom_root_id [lemma, in mathcomp.field.galois]
+kHom_root [lemma, in mathcomp.field.galois]
+kHom_horner [lemma, in mathcomp.field.galois]
+kHom_rmorphism [definition, in mathcomp.field.galois]
+kHom_is_rmorphism [lemma, in mathcomp.field.galois]
+kHom_dim [lemma, in mathcomp.field.galois]
+kHom_inv [lemma, in mathcomp.field.galois]
+kHom_eq [lemma, in mathcomp.field.galois]
+kHom_poly_id [lemma, in mathcomp.field.galois]
+kHom_lrmorphism [lemma, in mathcomp.field.galois]
+kHom.F [variable, in mathcomp.field.galois]
+kHom.kHomExtend [section, in mathcomp.field.galois]
+kHom.kHomExtend.E [variable, in mathcomp.field.galois]
+kHom.kHomExtend.f [variable, in mathcomp.field.galois]
+kHom.kHomExtend.fPx_y_0 [variable, in mathcomp.field.galois]
+kHom.kHomExtend.homKf [variable, in mathcomp.field.galois]
+kHom.kHomExtend.K [variable, in mathcomp.field.galois]
+kHom.kHomExtend.sKE [variable, in mathcomp.field.galois]
+kHom.kHomExtend.x [variable, in mathcomp.field.galois]
+kHom.kHomExtend.y [variable, in mathcomp.field.galois]
+kHom.L [variable, in mathcomp.field.galois]
+_ ^-1 (lrfun_scope) [notation, in mathcomp.field.galois]
+kHom1 [lemma, in mathcomp.field.galois]
+kquo_mx_faithful [lemma, in mathcomp.character.mxrepresentation]
+kquo_repr_coset [lemma, in mathcomp.character.mxrepresentation]
+kquo_mxE [lemma, in mathcomp.character.mxrepresentation]
+kquo_mx [definition, in mathcomp.character.mxrepresentation]
+K_F [abbreviation, in mathcomp.field.fieldext]
+k1AHom [lemma, in mathcomp.field.galois]
+k1HomE [lemma, in mathcomp.field.galois]
+

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
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