Theorem CovBySMul.of_subset

Modification history

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