Theorem CovBySMul.mono

Modification history

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