mathlib
5c413ffc - refactor(group_theory/perm/*): disjoint and support in own file

Commit

4 years ago

refactor(group_theory/perm/*): disjoint and support in own file

Author

pechersky

pechersky

Parents

Loading