mathlib3
1afbf1eb - The Cayley graph on a fintype generating set is locally finite.

Commit

3 years ago

The Cayley graph on a fintype generating set is locally finite.

Author

bottine

bottine

Parents

Loading