mathlib
7bedfbc5 - feat(group_theory/free_group): to_additivize where possible

Commit

3 years ago

feat(group_theory/free_group): to_additivize where possible

Author

alexjbest

alexjbest

Parents

Loading