chore(Data/Quot): [s : Setoid α]
=> {s : Setoid α}
(#16256)
#10916
Loading
[s : Setoid α]
=> {s : Setoid α}
(#16256)
#10916