Theorem Nat.IsStrongDvdSequence.isDvdSequence

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.IsStrongDvdSequence.isDvdSequenceView on Github →