P
Initializing...
A rank-one 2×3 matrix over F[X] with non-zero entries factors as aᵢbⱼ with a₁, a₂ coprime · Prove2Me