Theorem CovBySMul.subset

Modification history

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