mathlib
d4d33dea - feat(combinatorics): define simple graphs (#3458)

Commit

5 years ago

feat(combinatorics): define simple graphs (#3458) adds basic definition of `simple_graph`s Co-authored-by: Aaron Anderson <awainverse@gmail.com>

References

Author

jalex-stark

Parents