mathlib
def96711 - feat(group_theory/is_free_group): the property of being a free group (#7086)

Commit

4 years ago

feat(group_theory/is_free_group): the property of being a free group (#7086)

Author

dwarn

dwarn

Parents

Loading