Ghiggini's conjecture on separating half Giroux torsion
Ghiggini's conjecture. The contact invariant vanishes:
MathDB