mathlib
8c528b9a
- lint(group_theory/perm/*): docstrings (#4492)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
lint(group_theory/perm/*): docstrings (#4492) Adds missing docstrings in `group_theory/perm/cycles` and `group_theory/perm/sign`.
References
#4925 - Make prime-avoidance branch build
Author
awainverse
Parents
cb3118d5
Loading