Theorem smul_dvd_smul

Modification history

2026-06-30 18:26

Mathlib/Data/Nat/DvdSequence.lean

feat(Data/Nat/DivSequence): add divisibility sequences and strong divisibility sequences (#41204) …

Added smul_dvd_smul View on Github →