category of finite sets

1. REDIRECT FinSet

{{Redirect category shell|

{{R from long name}}

}}