mathlib3
fbbd626e - chore(field_theory/abel_ruffini): Rename variables (#19180)

Commit

2 years ago

chore(field_theory/abel_ruffini): Rename variables (#19180) Rename variables for consistency.

Author

tb65536

Parents