Module is_subsequence

Source