feat(topology/instances/ennreal): {f | lipschitz_with K f} is a closed set (#9766)
{f | lipschitz_with K f}