Set-like fintype #
This file contains a fintype instance for set-like objects such as subgroups. If SetLike A B
and Fintype B
then Fintype A
.
Mathlib.Data.SetLike.Fintype
This file contains a fintype instance for set-like objects such as subgroups. If SetLike A B
and Fintype B
then Fintype A
.