no goals
α : Type u_1
β : Type ?u.11546
ι : Type ?u.11549
M : Type u_2
N : Type ?u.11555
inst✝¹ : One M
inst✝ : One N
s✝ t : Set α
f g : α → M
a : α
s : Set α
⊢ Disjoint (mulSupport fun x => 1) s
simp only [mulSupport_one, empty_disjoint]