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

O

+odd [definition, in mathcomp.ssreflect.ssrnat]
+oddb [lemma, in mathcomp.ssreflect.ssrnat]
+oddSg [lemma, in mathcomp.solvable.pgroup]
+odd_pgroup_odd [lemma, in mathcomp.solvable.pgroup]
+odd_lift_perm [lemma, in mathcomp.fingroup.perm]
+odd_permJ [lemma, in mathcomp.fingroup.perm]
+odd_permV [lemma, in mathcomp.fingroup.perm]
+odd_permM [lemma, in mathcomp.fingroup.perm]
+odd_perm_prod [lemma, in mathcomp.fingroup.perm]
+odd_tperm [lemma, in mathcomp.fingroup.perm]
+odd_mul_tperm [lemma, in mathcomp.fingroup.perm]
+odd_perm1 [lemma, in mathcomp.fingroup.perm]
+odd_perm [definition, in mathcomp.fingroup.perm]
+odd_2'nat [lemma, in mathcomp.ssreflect.prime]
+odd_prime_gt2 [lemma, in mathcomp.ssreflect.prime]
+odd_mod [lemma, in mathcomp.ssreflect.div]
+odd_pgroup_rank1_cyclic [lemma, in mathcomp.solvable.extremal]
+odd_not_extremal2 [lemma, in mathcomp.solvable.extremal]
+odd_gt2 [lemma, in mathcomp.ssreflect.ssrnat]
+odd_gt0 [lemma, in mathcomp.ssreflect.ssrnat]
+odd_ltn [lemma, in mathcomp.ssreflect.ssrnat]
+odd_geq [lemma, in mathcomp.ssreflect.ssrnat]
+odd_double_half [lemma, in mathcomp.ssreflect.ssrnat]
+odd_double [lemma, in mathcomp.ssreflect.ssrnat]
+odd_exp [lemma, in mathcomp.ssreflect.ssrnat]
+odd_mul [lemma, in mathcomp.ssreflect.ssrnat]
+odd_opp [lemma, in mathcomp.ssreflect.ssrnat]
+odd_sub [lemma, in mathcomp.ssreflect.ssrnat]
+odd_add [lemma, in mathcomp.ssreflect.ssrnat]
+of_irrK [lemma, in mathcomp.character.vcharacter]
+of_irr [definition, in mathcomp.character.vcharacter]
+ohead [definition, in mathcomp.ssreflect.seq]
+Ohm [definition, in mathcomp.solvable.abelian]
+OhmE [lemma, in mathcomp.solvable.abelian]
+OhmEabelian [lemma, in mathcomp.solvable.abelian]
+OhmJ [lemma, in mathcomp.solvable.abelian]
+OhmPredP [lemma, in mathcomp.solvable.abelian]
+OhmProps [section, in mathcomp.solvable.abelian]
+OhmProps.char [section, in mathcomp.solvable.abelian]
+OhmProps.char.D [variable, in mathcomp.solvable.abelian]
+OhmProps.char.G [variable, in mathcomp.solvable.abelian]
+OhmProps.char.gT [variable, in mathcomp.solvable.abelian]
+OhmProps.char.n [variable, in mathcomp.solvable.abelian]
+OhmProps.char.rT [variable, in mathcomp.solvable.abelian]
+OhmProps.Generic [section, in mathcomp.solvable.abelian]
+OhmProps.Generic.gT [variable, in mathcomp.solvable.abelian]
+OhmProps.Generic.n [variable, in mathcomp.solvable.abelian]
+OhmProps.gT [variable, in mathcomp.solvable.abelian]
+OhmS [lemma, in mathcomp.solvable.abelian]
+Ohm_Mho_homocyclic [lemma, in mathcomp.solvable.abelian]
+Ohm_leq [lemma, in mathcomp.solvable.abelian]
+Ohm_normal [lemma, in mathcomp.solvable.abelian]
+Ohm_char [lemma, in mathcomp.solvable.abelian]
+Ohm_dprod [lemma, in mathcomp.solvable.abelian]
+Ohm_p_cycle [lemma, in mathcomp.solvable.abelian]
+Ohm_cont [lemma, in mathcomp.solvable.abelian]
+Ohm_id [lemma, in mathcomp.solvable.abelian]
+Ohm_sub [lemma, in mathcomp.solvable.abelian]
+Ohm0 [lemma, in mathcomp.solvable.abelian]
+Ohm1 [lemma, in mathcomp.solvable.abelian]
+Ohm1Eexponent [lemma, in mathcomp.solvable.abelian]
+Ohm1Eprime [lemma, in mathcomp.solvable.abelian]
+Ohm1_extraspecial_odd [lemma, in mathcomp.solvable.extraspecial]
+Ohm1_homocyclicP [lemma, in mathcomp.solvable.abelian]
+Ohm1_cyclic_pgroup_prime [lemma, in mathcomp.solvable.abelian]
+Ohm1_cent_max [lemma, in mathcomp.solvable.abelian]
+Ohm1_eq1 [lemma, in mathcomp.solvable.abelian]
+Ohm1_id [lemma, in mathcomp.solvable.abelian]
+Ohm1_abelem [lemma, in mathcomp.solvable.abelian]
+Ohm1_cent_max_normal_abelem [lemma, in mathcomp.solvable.maximal]
+Ohm1_stab_Ohm1_SCN_series [lemma, in mathcomp.solvable.maximal]
+oneg [definition, in mathcomp.fingroup.fingroup]
+oneq [definition, in mathcomp.algebra.rat]
+on_card_preimset [lemma, in mathcomp.ssreflect.finset]
+opair_of_sumK [lemma, in mathcomp.ssreflect.choice]
+opair_of_sum [definition, in mathcomp.ssreflect.choice]
+opp [definition, in mathcomp.solvable.burnside_app]
+oppmx [definition, in mathcomp.algebra.matrix]
+oppmx_key [lemma, in mathcomp.algebra.matrix]
+opppT [definition, in mathcomp.field.closed_field]
+oppq [definition, in mathcomp.algebra.rat]
+oppq_frac [lemma, in mathcomp.algebra.rat]
+oppq_subdef [definition, in mathcomp.algebra.rat]
+oppr_itvcc [lemma, in mathcomp.algebra.interval]
+oppr_itvoc [lemma, in mathcomp.algebra.interval]
+oppr_itvco [lemma, in mathcomp.algebra.interval]
+oppr_itvoo [lemma, in mathcomp.algebra.interval]
+oppr_itv [lemma, in mathcomp.algebra.interval]
+oppz_add [definition, in mathcomp.algebra.ssrint]
+opp_pair [definition, in mathcomp.algebra.ssralg]
+opp_lfunE [lemma, in mathcomp.algebra.vector]
+opp_lfun [definition, in mathcomp.algebra.vector]
+opp_block_mx [lemma, in mathcomp.algebra.matrix]
+opp_col_mx [lemma, in mathcomp.algebra.matrix]
+opp_row_mx [lemma, in mathcomp.algebra.matrix]
+opp_isometry [lemma, in mathcomp.character.classfun]
+opp_poly [definition, in mathcomp.algebra.poly]
+opp_poly_key [lemma, in mathcomp.algebra.poly]
+opp_poly_def [definition, in mathcomp.algebra.poly]
+OpsTheory [section, in mathcomp.ssreflect.fintype]
+OpsTheory.EnumPick [section, in mathcomp.ssreflect.fintype]
+OpsTheory.EnumPick.P [variable, in mathcomp.ssreflect.fintype]
+OpsTheory.T [variable, in mathcomp.ssreflect.fintype]
+OptionEqType [section, in mathcomp.ssreflect.eqtype]
+OptionEqType.T [variable, in mathcomp.ssreflect.eqtype]
+OptionFinType [section, in mathcomp.ssreflect.fintype]
+OptionFinType.T [variable, in mathcomp.ssreflect.fintype]
+option_countMixin [definition, in mathcomp.ssreflect.choice]
+option_choiceMixin [definition, in mathcomp.ssreflect.choice]
+option_finMixin [definition, in mathcomp.ssreflect.fintype]
+option_enumP [lemma, in mathcomp.ssreflect.fintype]
+option_enum [definition, in mathcomp.ssreflect.fintype]
+opt_eqP [lemma, in mathcomp.ssreflect.eqtype]
+opt_eq [definition, in mathcomp.ssreflect.eqtype]
+op_Wedderburn_id [lemma, in mathcomp.character.mxrepresentation]
+orbit [definition, in mathcomp.fingroup.action]
+orbit [definition, in mathcomp.ssreflect.fingraph]
+Orbit [section, in mathcomp.ssreflect.fingraph]
+orbitE [lemma, in mathcomp.fingroup.action]
+orbitJ [lemma, in mathcomp.fingroup.action]
+orbitJs [lemma, in mathcomp.fingroup.action]
+orbitP [lemma, in mathcomp.fingroup.action]
+orbitR [lemma, in mathcomp.fingroup.action]
+orbitRs [lemma, in mathcomp.fingroup.action]
+orbit_morphim_actperm [lemma, in mathcomp.fingroup.action]
+orbit_conjsg [lemma, in mathcomp.fingroup.action]
+orbit_rcoset [lemma, in mathcomp.fingroup.action]
+orbit_lcoset [lemma, in mathcomp.fingroup.action]
+orbit_inv [lemma, in mathcomp.fingroup.action]
+orbit_eq_mem [lemma, in mathcomp.fingroup.action]
+orbit_actr [lemma, in mathcomp.fingroup.action]
+orbit_act [lemma, in mathcomp.fingroup.action]
+orbit_transl [lemma, in mathcomp.fingroup.action]
+orbit_eqP [lemma, in mathcomp.fingroup.action]
+orbit_trans [lemma, in mathcomp.fingroup.action]
+orbit_sym [lemma, in mathcomp.fingroup.action]
+orbit_stabilizer [lemma, in mathcomp.fingroup.action]
+orbit_transversalP [lemma, in mathcomp.fingroup.action]
+orbit_transversal [definition, in mathcomp.fingroup.action]
+orbit_partition [lemma, in mathcomp.fingroup.action]
+orbit_conjsg_in [lemma, in mathcomp.fingroup.action]
+orbit_rcoset_in [lemma, in mathcomp.fingroup.action]
+orbit_lcoset_in [lemma, in mathcomp.fingroup.action]
+orbit_inv_in [lemma, in mathcomp.fingroup.action]
+orbit_actr_in [lemma, in mathcomp.fingroup.action]
+orbit_act_in [lemma, in mathcomp.fingroup.action]
+orbit_in_transl [lemma, in mathcomp.fingroup.action]
+orbit_in_eqP [lemma, in mathcomp.fingroup.action]
+orbit_in_trans [lemma, in mathcomp.fingroup.action]
+orbit_in_sym [lemma, in mathcomp.fingroup.action]
+orbit_rel [abbreviation, in mathcomp.fingroup.action]
+orbit_refl [lemma, in mathcomp.fingroup.action]
+orbit_id [lemma, in mathcomp.ssreflect.fingraph]
+orbit_rot_cycle [lemma, in mathcomp.ssreflect.fingraph]
+orbit_uniq [lemma, in mathcomp.ssreflect.fingraph]
+Orbit.f [variable, in mathcomp.ssreflect.fingraph]
+Orbit.injf [variable, in mathcomp.ssreflect.fingraph]
+Orbit.Loop [section, in mathcomp.ssreflect.fingraph]
+Orbit.Loop.f_p [variable, in mathcomp.ssreflect.fingraph]
+Orbit.Loop.p [variable, in mathcomp.ssreflect.fingraph]
+Orbit.Loop.p_x [variable, in mathcomp.ssreflect.fingraph]
+Orbit.Loop.Up [variable, in mathcomp.ssreflect.fingraph]
+Orbit.Loop.x [variable, in mathcomp.ssreflect.fingraph]
+Orbit.orbit_in.injf [variable, in mathcomp.ssreflect.fingraph]
+Orbit.orbit_in.f_in [variable, in mathcomp.ssreflect.fingraph]
+Orbit.orbit_in.S [variable, in mathcomp.ssreflect.fingraph]
+Orbit.orbit_in [section, in mathcomp.ssreflect.fingraph]
+Orbit.symf [variable, in mathcomp.ssreflect.fingraph]
+Orbit.T [variable, in mathcomp.ssreflect.fingraph]
+orbit1P [lemma, in mathcomp.fingroup.action]
+order [definition, in mathcomp.fingroup.fingroup]
+order [definition, in mathcomp.ssreflect.fingraph]
+orderC [definition, in mathcomp.field.algnum]
+orderE [lemma, in mathcomp.fingroup.fingroup]
+orderJ [lemma, in mathcomp.fingroup.fingroup]
+orderM [lemma, in mathcomp.solvable.cyclic]
+orderSpred [lemma, in mathcomp.ssreflect.fingraph]
+orderV [lemma, in mathcomp.fingroup.fingroup]
+orderXdiv [lemma, in mathcomp.solvable.cyclic]
+orderXdvd [lemma, in mathcomp.solvable.cyclic]
+orderXexp [lemma, in mathcomp.solvable.cyclic]
+orderXgcd [lemma, in mathcomp.solvable.cyclic]
+orderXpfactor [lemma, in mathcomp.solvable.cyclic]
+orderXpnat [lemma, in mathcomp.solvable.cyclic]
+orderXprime [lemma, in mathcomp.solvable.cyclic]
+order_constt [lemma, in mathcomp.solvable.pgroup]
+order_path_min [lemma, in mathcomp.ssreflect.path]
+order_primeChar [lemma, in mathcomp.field.finfield]
+order_injm [lemma, in mathcomp.fingroup.morphism]
+order_gt1 [lemma, in mathcomp.fingroup.fingroup]
+order_eq1 [lemma, in mathcomp.fingroup.fingroup]
+order_gt0 [lemma, in mathcomp.fingroup.fingroup]
+order_set_finv [lemma, in mathcomp.ssreflect.fingraph]
+order_finv [lemma, in mathcomp.ssreflect.fingraph]
+order_id [lemma, in mathcomp.ssreflect.fingraph]
+order_set [definition, in mathcomp.ssreflect.fingraph]
+order_cycle [lemma, in mathcomp.ssreflect.fingraph]
+order_Zp1 [lemma, in mathcomp.algebra.zmodp]
+order_inj_cyclic [lemma, in mathcomp.solvable.cyclic]
+order_dvdG [lemma, in mathcomp.solvable.cyclic]
+order_inf [lemma, in mathcomp.solvable.cyclic]
+order_dvdn [lemma, in mathcomp.solvable.cyclic]
+order1 [lemma, in mathcomp.fingroup.fingroup]
+Ordinal [constructor, in mathcomp.ssreflect.fintype]
+ordinal [inductive, in mathcomp.ssreflect.fintype]
+OrdinalEnum [section, in mathcomp.ssreflect.fintype]
+OrdinalEnum.n [variable, in mathcomp.ssreflect.fintype]
+OrdinalPos [section, in mathcomp.ssreflect.fintype]
+OrdinalPos.n' [variable, in mathcomp.ssreflect.fintype]
+OrdinalSub [section, in mathcomp.ssreflect.fintype]
+OrdinalSub.n [variable, in mathcomp.ssreflect.fintype]
+ordinal_finMixin [definition, in mathcomp.ssreflect.fintype]
+ordinal_countMixin [definition, in mathcomp.ssreflect.fintype]
+ordinal_choiceMixin [definition, in mathcomp.ssreflect.fintype]
+ordinal_eqMixin [definition, in mathcomp.ssreflect.fintype]
+ord_tuple [definition, in mathcomp.ssreflect.tuple]
+ord_max [definition, in mathcomp.ssreflect.fintype]
+ord_enum_uniq [lemma, in mathcomp.ssreflect.fintype]
+ord_enum [definition, in mathcomp.ssreflect.fintype]
+ord_inj [lemma, in mathcomp.ssreflect.fintype]
+ord_enum4 [lemma, in mathcomp.solvable.burnside_app]
+ord0 [definition, in mathcomp.ssreflect.fintype]
+ord1 [lemma, in mathcomp.algebra.zmodp]
+orthogonal [definition, in mathcomp.character.classfun]
+OrthogonalityRelations [section, in mathcomp.character.character]
+OrthogonalityRelations.A [variable, in mathcomp.character.character]
+OrthogonalityRelations.aT [variable, in mathcomp.character.character]
+OrthogonalityRelations.G [variable, in mathcomp.character.character]
+OrthogonalityRelations.gT [variable, in mathcomp.character.character]
+OrthogonalityRelations.uX [variable, in mathcomp.character.character]
+OrthogonalityRelations.XX'_1 [variable, in mathcomp.character.character]
+OrthogonalityRelations.X' [variable, in mathcomp.character.character]
+orthogonalP [lemma, in mathcomp.character.classfun]
+orthogonal_span [lemma, in mathcomp.character.vcharacter]
+orthogonal_free [lemma, in mathcomp.character.classfun]
+orthogonal_oppl [lemma, in mathcomp.character.classfun]
+orthogonal_oppr [lemma, in mathcomp.character.classfun]
+orthogonal_split [lemma, in mathcomp.character.classfun]
+orthogonal_catr [lemma, in mathcomp.character.classfun]
+orthogonal_catl [lemma, in mathcomp.character.classfun]
+orthogonal_sym [lemma, in mathcomp.character.classfun]
+orthogonal_cons [lemma, in mathcomp.character.classfun]
+orthonormal [definition, in mathcomp.character.classfun]
+orthonormalE [lemma, in mathcomp.character.classfun]
+orthonormalP [lemma, in mathcomp.character.classfun]
+orthonormal_span [lemma, in mathcomp.character.vcharacter]
+orthonormal_free [lemma, in mathcomp.character.classfun]
+orthonormal_cat [lemma, in mathcomp.character.classfun]
+orthonormal_orthogonal [lemma, in mathcomp.character.classfun]
+orthonormal_not0 [lemma, in mathcomp.character.classfun]
+orthonormal2P [lemma, in mathcomp.character.classfun]
+orthoP [lemma, in mathcomp.character.classfun]
+orthoPl [lemma, in mathcomp.character.classfun]
+orthoPr [lemma, in mathcomp.character.classfun]
+ortho_rec [definition, in mathcomp.character.classfun]
+OtherEncodings [section, in mathcomp.ssreflect.choice]
+OtherEncodings.T [variable, in mathcomp.ssreflect.choice]
+OtherEncodings.T1 [variable, in mathcomp.ssreflect.choice]
+OtherEncodings.T2 [variable, in mathcomp.ssreflect.choice]
+out_perm [lemma, in mathcomp.fingroup.perm]
+out_Aut [lemma, in mathcomp.fingroup.automorphism]
+

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