mathlib
bb8b0fd0
- refactor(data/finset/prod): make arguments to `mem_diag` and `mem_off_diag` implicit (#16314)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
refactor(data/finset/prod): make arguments to `mem_diag` and `mem_off_diag` implicit (#16314) Co-authored-by: Kyle Miller <kmill31415@gmail.com>
Author
YaelDillies
Parents
937a36ee
Loading