mathlib3
[Merged by Bors] - chore(field_theory/abel_ruffini): Rename variables
#19180
Closed
Overview
Commits
1
Changes
View On GitHub

[Merged by Bors] - chore(field_theory/abel_ruffini): Rename variables #19180

tb65536 wants to merge 1 commit into master from tb_sbr
tb65536
tb65536 rename
97be8016
tb65536 tb65536 added awaiting-review
tb65536 tb65536 added awaiting-CI
github-actions github-actions removed awaiting-CI
jcommelin
jcommelin approved these changes on 2023-06-13
leanprover-community-bot-assistant leanprover-community-bot-assistant added ready-to-merge
leanprover-community-bot-assistant leanprover-community-bot-assistant removed awaiting-review
bors
bors bors changed the title chore(field_theory/abel_ruffini): Rename variables [Merged by Bors] - chore(field_theory/abel_ruffini): Rename variables 2 years ago
bors bors closed this 2 years ago
bors bors deleted the tb_sbr branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum