Description: Documentation of Coq module test-hb

Top source

# B (Global Index)

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

## B

B [mod, in tutorial_basics]
B.Exports [mod, in tutorial_basics]
B.HB_unnamed_factory_24 [def, in tutorial_basics]
B.hidden [def, in tutorial_basics]
B.tutorial_basics_idfun'__canonical__tutorial_basics_MagmaMorphism [def, in tutorial_basics]
Builders_7 [mod, in tutorial_basics]
Builders_7.Builders_7_T__canonical__tutorial_basics_Magma [def, in tutorial_basics]
Builders_7.Builders_7_T__canonical__tutorial_basics_Semigroup [def, in tutorial_basics]
Builders_7.Builders_Export_13 [mod, in tutorial_basics]
Builders_7.HB_unnamed_factory_11 [def, in tutorial_basics]
Builders_7.HB_unnamed_factory_9 [def, in tutorial_basics]
Builders_7.op [abbrev, in tutorial_basics]
Builders_7.opA [abbrev, in tutorial_basics]
Builders_7.Super [mod, in tutorial_basics]