mathlib
7ec1a31e - fix(combinatorics/simple_graph/density): correct name in docstring (#12921)

Commit

3 years ago

fix(combinatorics/simple_graph/density): correct name in docstring (#12921)

Author

kmill

kmill

Parents

Loading