Set-like fintype #
This file contains a fintype instance for set-like objects such as subgroups. If
set_like A B
fintype B then
@[protected, nolint, instance]
TODO: It should be possible to obtain a computable version of this for most
set_like objects. If we add those instances, we should remove this one.