energy): Energy of a partition (#12958)

Commit

3 years ago

feat(combinatorics/simple_graph/regularity/energy): Energy of a partition (#12958) Define the energy of a partition. Co-authored-by: Bhavik Mehta <bhavik.mehta8@gmail.com>

Author

YaelDillies

Parents

50903f0d

mathlib 523d1779 - feat(combinatorics/simple_graph/regularity/energy): Energy of a partition (#12958)

mathlib
523d1779 - feat(combinatorics/simple_graph/regularity/energy): Energy of a partition (#12958)