mathlib
8a286af6 - chore(topology/algebra/mul_action): rename type variables (#12020)

Commit

3 years ago

chore(topology/algebra/mul_action): rename type variables (#12020)

Author

urkud

urkud

Parents

Loading