This replaces f_equiv and solve_proper with our own, hopefully better, versions
Attach a file by drag & drop or click to upload
Ralf Jung authored