Given the code
from datasets import load_dataset

dataset = load_dataset("glue", "mrpc", split='train')
idx = 0

How can I remove row 0 (dataset[0]) from this dataset?
The only way I can think of for now is using dataset.select(), and then selecting every index except 0, but that doesn’t seem efficient.