Fibredness of 3-manifolds is in NP


This is a companion discussion topic for the original entry at https://arxiv.org/abs/2606.23284