Theorem Finset.card_dvd_card_smul_right₀

Modification history

2026-04-20 10:00
Mathlib/Algebra/GroupWithZero/Action/Pointwise/Finset.lean
feat(Algebra/GroupWithZero/Action/Pointwise/Finset): add ₀ variants (#38103) …
Added Finset.card_dvd_card_smul_right₀View on Github →