Set-like fintype #
This file contains a fintype instance for set-like objects such as subgroups. If set_like A B
and fintype B
then fintype A
.
data.set_like.fintype
This file contains a fintype instance for set-like objects such as subgroups. If set_like A B
and fintype B
then fintype A
.