Labels

• awaiting-author

  awaiting-author

  This PR requires the author to take further action in order to continue.

• blocked

  blocked

• cleanup

  cleanup

• community-call

  community-call

• duplicate

  duplicate

• easy

  easy

• fix

  fix

• help wanted

  help wanted

• invalid

  invalid

• meta

  meta

• metaproperty

  metaproperty

• property

  property

• question

  question

• requires-external-citation

  requires-external-citation

• review-requested

  review-requested

• seeking-reviewer

  seeking-reviewer

• space

  space

• theorem

  theorem

• trait

  trait

• tutorial

  tutorial

• under-review

  under-review

• wontfix

  wontfix