Open alexjbest opened 1 year ago
by working in the residue field and finish the proofs that discriminant equal zero implies double / triple roots
by working in the residue field and finish the proofs that discriminant equal zero implies double / triple roots