mathlib3
a52ca3ad - feat(group_theory/is_free_group): additivize

Commit

3 years ago

feat(group_theory/is_free_group): additivize

References

alexjbest/is_free_add_group

Author

alexjbest

alexjbest

Parents

Loading