> To show that detM is non-zero, we can show that its 2-adic valuation is nonzero.

I think the last word in that sentence should be "finite"?

Also do I understand correctly that "face" means "maximal line segment"? (I see some other comments discussing this and concluding that "face" means "edge", but to me, an "edge" doesn't permit "intermediate" vertices.)