[Merged by Bors] - perf: remove @[simp] on Fintype.card_of{IsEmpty,Subsingleton}
#2987
This job was skipped
Loading
@[simp] on Fintype.card_of{IsEmpty,Subsingleton}
#2987