Finiteness and cofiniteness of fine Selmer groups over function fields | Synapse