Theorem covBySMul_zero

Modification history

2024-12-10 17:35
Mathlib/Combinatorics/Additive/CovBySMul.lean
feat: relation of covering by cosets (#19509) …
Added covBySMul_zeroView on Github →