finsupp): rename variables, and move to top of file (#5306)

Commit

5 years ago

feat(algebra/big_operators/finsupp): rename variables, and move to top of file (#5306)

Author

jcommelin

Parents