mathlib
2b2d1167 - chore(combinatorics/simple_graph/coloring): remove extra asterisk (#10618)

Commit

4 years ago

chore(combinatorics/simple_graph/coloring): remove extra asterisk (#10618)

Author

kmill

kmill

Parents

Loading