Constant term functors with F₏-coefficients | Synapse