Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Nov 19, 2025

• chore: move Mathlib to the module system (#31786)

  Show description for 6a54a80
  

  kim-em

  and

  Kha

  committed
  6a54a80

  Copy full SHA for 6a54a80

Commits on Aug 23, 2025

• chore: rename `Set.surjective_onto_image` (#28627)

  Show description for 24f6628
  plp127

  committed
  24f6628

  Copy full SHA for 24f6628

Commits on Sep 17, 2024

• feat(SetTheory/Ordinal/Arithmetic): the complement of a small set of ordinals is unbounded (#16875)

  vihdzp

  committed
  ae7e499

  Copy full SHA for ae7e499

Commits on Sep 12, 2024

• feat: `Small.{u}` sets are closed under various operations (#11126)

  Show description for 002afcf
  

  3 peoplecommitted
  002afcf

  Copy full SHA for 002afcf

Commits on Jul 19, 2024

• chore: remove `#align` and `#align_import` statements (#14887)

  Show description for 465f26f
  

  kim-em

  and

  mattrobball

  committed
  465f26f

  Copy full SHA for 465f26f

Commits on Feb 25, 2024

• feat: `small_iUnion` and `small_sUnion` (#10921)

  Show description for 89415b3
  TwoFX

  committed
  89415b3

  Copy full SHA for 89415b3

Loading