Commit 2022-03-29 23:57 523d1779
View on Github →feat(combinatorics/simple_graph/regularity/energy): Energy of a partition (#12958) Define the energy of a partition.
feat(combinatorics/simple_graph/regularity/energy): Energy of a partition (#12958) Define the energy of a partition.