energy): Additive energy (#17734)

Commit

3 years ago

feat(combinatorics/additive/energy): Additive energy (#17734) Define the additive energy of two finsets in a group.

Author

YaelDillies

Parents