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 | _ | other | (3098 entries) |

Notation 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 | _ | other | (294 entries) |

Module 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 | _ | other | (28 entries) |

Variable 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 | _ | other | (397 entries) |

Library 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 | _ | other | (9 entries) |

Lemma 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 | _ | other | (1414 entries) |

Constructor 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 | _ | other | (80 entries) |

Axiom 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 | _ | other | (7 entries) |

Projection 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 | _ | other | (35 entries) |

Inductive 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 | _ | other | (35 entries) |

Section 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 | _ | other | (135 entries) |

Abbreviation 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 | _ | other | (84 entries) |

Definition 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 | _ | other | (555 entries) |

Record 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 | _ | other | (25 entries) |

## I (variable)

Image.f [in Ssreflect.fintype]Image.Injective.injf [in Ssreflect.fintype]

Image.SizeImage.f [in Ssreflect.fintype]

Image.SizeImage.T' [in Ssreflect.fintype]

Image.T [in Ssreflect.fintype]

Image.T' [in Ssreflect.fintype]

InjectionsTheory.A [in Ssreflect.ssrfun]

InjectionsTheory.B [in Ssreflect.ssrfun]

InjectionsTheory.C [in Ssreflect.ssrfun]

InjectionsTheory.f [in Ssreflect.ssrfun]

InjectionsTheory.g [in Ssreflect.ssrfun]

InjectionsTheory.h [in Ssreflect.ssrfun]

Injections.aT [in Ssreflect.ssrfun]

Injections.f [in Ssreflect.ssrfun]

Injections.rT [in Ssreflect.ssrfun]

Injectiveb.aT [in Ssreflect.fintype]

Injectiveb.f [in Ssreflect.fintype]

Injectiveb.rT [in Ssreflect.fintype]

Involutions.A [in Ssreflect.ssrfun]

Involutions.f [in Ssreflect.ssrfun]

Involutions.Hf [in Ssreflect.ssrfun]

Iteration.T [in Ssreflect.ssrnat]