Original: Formed fluoride ions remain in solution, with soluted compound after electrolysis being potassium fluoride.
Simplified: Fluorine is normally made by electrolysis. Hydrogen fluoride is dissolved in potassium fluoride.