Theorem mulRothNumber_union_le

Modification history

2023-05-20 11:53

Mathlib/Combinatorics/Additive/SalemSpencer.lean

feat: port Combinatorics.Additive.SalemSpencer (#4128)

Added mulRothNumber_union_le View on Github →