Mixed function space with dolfinx - how to implement an integral constraint

See recent posts on this topic: