Commit 2025-01-20 16:09 9ebb5ca0

feat(Data/Matroid/Restrict): added a few matroid restriction lemmas (#19838) We add a few qol lemmas to Matroid.Restrict, specifically

• a lemma about Basis' and Basis in the restriction to univ.
• iff versions of lemmas about independence/bases with a Matroid.Restriction assumption.
• a Finset version of the independence augmentation lemma.