Labels

• 100 theorems

  100 theorems

• analysis

  analysis

• art

  art

• bug

  bug

  Something isn't working

• cat-sitting

  cat-sitting

• category-theory

  category-theory

• CI

  CI

• cleanup

  cleanup

• commutative-algebra

  commutative-algebra

• complex-numbers

  complex-numbers

• computational-behavior

  computational-behavior

• do not merge

  do not merge

• documentation

  documentation

  Improvements or additions to documentation

• domain-theory

  domain-theory

• duplicate

  duplicate

  This issue or pull request already exists

• elementary-number-theory

  elementary-number-theory

• enhancement

  enhancement

  New feature or request

• experiment

  experiment

• finite-algebra

  finite-algebra

• finite-group-theory

  finite-group-theory

• finite-probability-theory

  finite-probability-theory

• fix

  fix

• formalization-target

  formalization-target

• formatting

  formatting

• foundation

  foundation

• functional-analysis

  functional-analysis

• globular-types

  globular-types

• good first issue

  good first issue

  Good for newcomers

• graph-theory

  graph-theory

• group-theory

  group-theory