Skip to content

Participate in "1000+ theorems" project #1322

Closed as not planned
Closed as not planned
@fredrik-bakke

Description

@fredrik-bakke

Properly participating in the 1000+ theorems has a couple of blockers on their side:

This issue is a branch-out from #1214.

Formalized theorems

  • Bezout's lemma, by Bryan Lu
  • Binomial theorem, by Egbert Rijke
  • Cantor–Schröder–Bernstein theorem, by Elif Uskuplu
  • Cantor's theorem, by Egbert Rijke
  • Cayley's theorem
  • Diaconescu's theorem, by Fredrik Bakke Logic #1226
  • Euclid's theorem, by Egbert Rijke
  • Fundamental theorem of arithmetic, by Victor Blanchi
  • Fundamental theorem of equivalence relations, by Egbert Rijke
  • Kleene's fixed point theorem, by Fredrik Bakke
  • Knaster–Tarski fixed point theorem, by Fredrik Bakke
  • Lawvere's fixed point theorem
  • Nicomachus's theorem, by Egbert Rijke Refactor elementary number theory #1211
  • Yoneda lemma, by Emily Riehl

Useful links

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions