mathlib3
2303b3e2 - chore(combinatorics/simple_graph): review inhabited instances (#15770)

Commit

3 years ago

chore(combinatorics/simple_graph): review inhabited instances (#15770) Delete artificial inhabited instance, normalize remaining and give them `@[simps]`.

Author

kmill

Parents

ea1dd3d3

mathlib3 2303b3e2 - chore(combinatorics/simple_graph): review inhabited instances (#15770)

mathlib3
2303b3e2 - chore(combinatorics/simple_graph): review inhabited instances (#15770)