Missing coercion from finSet to finType #102
Description
It'd be nice if fset_sub_finType would be made a coercion.
Coercion fset_sub_finType : finSet >-> finType.
{{ message }}
It'd be nice if fset_sub_finType would be made a coercion.
Coercion fset_sub_finType : finSet >-> finType.