Def Nat.IsStrongDvdSequence

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 Nat.IsStrongDvdSequenceView on Github →