simp only [emptyOn_ground] at h
α : Type u_1
β : Type u_2
M : Matroid α
N : Matroid β
e : emptyOn α ≂ N
h : ↑(emptyOn α).E ≃ ↑N.E
⊢ N.E = ∅
α : Type u_1
β : Type u_2
M : Matroid α
N : Matroid β
e : emptyOn α ≂ N
h : ↑∅ ≃ ↑N.E
⊢ N.E = ∅