mathlib
70aef28e
- feat(group_theory/perm/list): concrete permutations from a list (#7451)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(group_theory/perm/list): concrete permutations from a list (#7451) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>
Author
pechersky
Parents
5f2358c4
Loading