Theorem: Matroid.truncateTo_emptyOn (Matroid/Constructions/Truncate.lean)

State before:
α✝ : Type u_1
M : Matroid α✝
E I B : Set α✝
k✝ : ℕ∞
α : Type u_2
k : ℕ∞
⊢ (emptyOn α).truncateTo k = emptyOn α
Tactic:
rw [← ground_eq_empty_iff, truncateTo_ground_eq, emptyOn_ground]
State after:
no goals