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

State before:
α : Type u_1
M : Matroid α
E✝ I B X C : Set α
k : ℕ∞
E : Set α
⊢ unifOn E ⊤ = freeOn E
Tactic:
rw [unifOn, truncateTo_top]
State after:
no goals