mathlib
ec73f6e3 - chore(algebra/big_operators/pi): rename `w` to `H` in assumptions (#16166)

Commit

3 years ago

chore(algebra/big_operators/pi): rename `w` to `H` in assumptions (#16166)

Author

urkud

urkud

Parents

Loading