Theorem CovBySMul.trans

Modification history

2025-03-23 20:22

Mathlib/Combinatorics/Additive/CovBySMul.lean

feat: generalize Mathlib.Combinatorics (#23185) …

Modified CovBySMul.trans View on Github →

2024-12-10 17:35

Mathlib/Combinatorics/Additive/CovBySMul.lean

feat: relation of covering by cosets (#19509) …

Added CovBySMul.trans View on Github →