Theorem: Matroid.unifOn_zero (Matroid/Constructions/Uniform.lean)

State before:
α : Type u_1
M : Matroid α
E✝ I B X C : Set α
k : ℕ∞
E : Set α
⊢ unifOn E 0 = loopyOn E
Tactic:
simp [unifOn]
State after:
no goals