Theorem CovBySMul.rfl

Modification history

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