`BookProof.ChapterF1.orderings_differ` : hamiltonian (1 : ℂ[X]) ≠ hamiltonianSym (1 : ℂ[X])

Initializing...

`BookProof.ChapterF1.orderings_differ` : hamiltonian (1 : ℂ[X]) ≠ hamiltonianSym (1 : ℂ[X]) · Prove2Me