mathlib3
[Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name`
#19195

Closed

[Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name` #19195

Komyyy wants to merge 1 commit into master from Komyyy/wiedijk_100_theorems

rename

1f0ca9da

Komyyy added awaiting-review

Komyyy added awaiting-CI

jcommelin approved these changes on 2023-06-16

leanprover-community-bot-assistant added ready-to-merge

leanprover-community-bot-assistant removed awaiting-review

github-actions added delegated

github-actions removed awaiting-CI

bors changed the title ~~style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name`~~ [Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name` 3 years ago

bors closed this 3 years ago

bors deleted the Komyyy/wiedijk_100_theorems branch 3 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge delegated

Milestone

No milestone

mathlib3 [Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name` #19195 Closed

[Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name` #19195

mathlib3
[Merged by Bors] - style(archive.100-theorems-list.xx_theorem_name): rename to `wiedijk_100_theorems.theorem_name`
#19195

Closed