Theorem mulRothNumber_map_mul_left

Modification history

2023-05-20 11:53
Mathlib/Combinatorics/Additive/SalemSpencer.lean
feat: port Combinatorics.Additive.SalemSpencer (#4128)
Added mulRothNumber_map_mul_leftView on Github →