Extended test for spines
Extended test for spines

Found an edge case that I did not handle so far; a complex that *should*
be retractable turns out not to be. Drat.

Submanifold/Aleph,Submanifold/Aleph,Submanifold/Aleph