mathlib
9603db65 - chore(*): add some missing right actions

Commit

3 years ago

chore(*): add some missing right actions

References

eric-wieser/extra-right-actions

Author

eric-wieser

eric-wieser

Parents

Loading