Missing coercion from finSet to finType

Open rhz opened this issue 3 years ago • 0 comments

It'd be nice if fset_sub_finType would be made a coercion.

Coercion fset_sub_finType : finSet >-> finType.

Nov 18 '22 18:11 rhz