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

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